diff options
author | Tom Smeding <t.j.smeding@uu.nl> | 2025-01-27 15:08:02 +0100 |
---|---|---|
committer | Tom Smeding <t.j.smeding@uu.nl> | 2025-01-27 15:08:02 +0100 |
commit | 88fae8c2914b805a733b71de58ab672124e6069c (patch) | |
tree | c155fb1a83ace92aab376202ebc8b4b8a919da7c /src/Interpreter.hs | |
parent | 0bdc36d221703e5a2347d3d136d676a86bdb1b6a (diff) |
Add ext field to remaining AST constructors
Diffstat (limited to 'src/Interpreter.hs')
-rw-r--r-- | src/Interpreter.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/Interpreter.hs b/src/Interpreter.hs index bb4952c..deb829b 100644 --- a/src/Interpreter.hs +++ b/src/Interpreter.hs @@ -134,27 +134,27 @@ interpret'Rec env = \case e1' <- interpret' env e1 e2' <- interpret' env e2 interpret' (Value e2' `SCons` Value e1' `SCons` SNil) pr - EWith e1 e2 -> do + EWith _ e1 e2 -> do initval <- interpret' env e1 withAccum (typeOf e1) (typeOf e2) initval $ \accum -> interpret' (Value accum `SCons` env) e2 - EAccum i e1 e2 e3 -> do + EAccum _ i e1 e2 e3 -> do let STAccum t = typeOf e3 idx <- interpret' env e1 val <- interpret' env e2 accum <- interpret' env e3 accumAddSparse t i accum idx val - EZero t -> do + EZero _ t -> do return $ zeroD2 t - EPlus t a b -> do + EPlus _ t a b -> do a' <- interpret' env a b' <- interpret' env b return $ addD2s t a' b' - EOneHot t i a b -> do + EOneHot _ t i a b -> do a' <- interpret' env a b' <- interpret' env b return $ onehotD2 i t a' b' - EError _ s -> error $ "Interpreter: Program threw error: " ++ s + EError _ _ s -> error $ "Interpreter: Program threw error: " ++ s interpretOp :: SOp a t -> Rep a -> Rep t interpretOp op arg = case op of |