summaryrefslogtreecommitdiff
path: root/src/Interpreter.hs
diff options
context:
space:
mode:
authorTom Smeding <t.j.smeding@uu.nl>2025-01-27 15:08:02 +0100
committerTom Smeding <t.j.smeding@uu.nl>2025-01-27 15:08:02 +0100
commit88fae8c2914b805a733b71de58ab672124e6069c (patch)
treec155fb1a83ace92aab376202ebc8b4b8a919da7c /src/Interpreter.hs
parent0bdc36d221703e5a2347d3d136d676a86bdb1b6a (diff)
Add ext field to remaining AST constructors
Diffstat (limited to 'src/Interpreter.hs')
-rw-r--r--src/Interpreter.hs12
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