From 6fce8a75e239988d2ce154f5411dd2d8c742f3f6 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Mon, 4 Nov 2024 23:33:34 +0100 Subject: WIP EOneHot --- src/AST/Pretty.hs | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/AST/Pretty.hs') diff --git a/src/AST/Pretty.hs b/src/AST/Pretty.hs index a05b49e..677c767 100644 --- a/src/AST/Pretty.hs +++ b/src/AST/Pretty.hs @@ -204,6 +204,12 @@ ppExpr' d val = \case b' <- ppExpr' 11 val b return $ showParen (d > 10) $ showString "plus " . a' . showString " " . b' + 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) ppExprLet :: Int -> SVal env -> Expr x env t -> M ShowS -- cgit v1.2.3-70-g09d2