diff options
Diffstat (limited to 'src/AST/Pretty.hs')
| -rw-r--r-- | src/AST/Pretty.hs | 12 |
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 |