summaryrefslogtreecommitdiff
path: root/src/AST/Pretty.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/AST/Pretty.hs
parent0bdc36d221703e5a2347d3d136d676a86bdb1b6a (diff)
Add ext field to remaining AST constructors
Diffstat (limited to 'src/AST/Pretty.hs')
-rw-r--r--src/AST/Pretty.hs12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/AST/Pretty.hs b/src/AST/Pretty.hs
index 663e9b0..24bacdb 100644
--- a/src/AST/Pretty.hs
+++ b/src/AST/Pretty.hs
@@ -203,7 +203,7 @@ ppExpr' d val = \case
. e1' . showString " "
. e2'
- EWith e1 e2 -> do
+ EWith _ e1 e2 -> do
e1' <- ppExpr' 11 val e1
name <- genNameIfUsedIn' "ac" (STAccum (typeOf e1)) IZ e2
e2' <- ppExpr' 0 (Const name `SCons` val) e2
@@ -211,27 +211,27 @@ ppExpr' d val = \case
showString "with " . e1' . showString (" (\\" ++ name ++ " -> ")
. e2' . showString ")"
- EAccum i e1 e2 e3 -> do
+ EAccum _ i e1 e2 e3 -> do
e1' <- ppExpr' 11 val e1
e2' <- ppExpr' 11 val e2
e3' <- ppExpr' 11 val e3
return $ showParen (d > 10) $
showString ("accum " ++ show (fromSNat i) ++ " ") . e1' . showString " " . e2' . showString " " . e3'
- EZero t -> return $ showString ("(zero :: " ++ ppTy 0 t ++ ")")
+ EZero _ t -> return $ showString ("(zero :: " ++ ppTy 0 t ++ ")")
- EPlus _ a b -> do
+ EPlus _ _ a b -> do
a' <- ppExpr' 11 val a
b' <- ppExpr' 11 val b
return $ showParen (d > 10) $ showString "plus " . a' . showString " " . b'
- EOneHot _ i a b -> do
+ EOneHot _ _ i a b -> do
a' <- ppExpr' 11 val a
b' <- ppExpr' 11 val b
return $ showParen (d > 10) $
showString ("onehot " ++ show (fromSNat i) ++ " ") . a' . showString " " . b'
- EError _ s -> return $ showParen (d > 10) $ showString ("error " ++ show s)
+ EError _ _ s -> return $ showParen (d > 10) $ showString ("error " ++ show s)
ppExprLet :: Int -> SVal env -> Expr x env t -> M ShowS
ppExprLet d val etop = do