From 88fae8c2914b805a733b71de58ab672124e6069c Mon Sep 17 00:00:00 2001
From: Tom Smeding <t.j.smeding@uu.nl>
Date: Mon, 27 Jan 2025 15:08:02 +0100
Subject: Add ext field to remaining AST constructors

---
 src/AST/Pretty.hs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'src/AST/Pretty.hs')

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
-- 
cgit v1.2.3-70-g09d2