From 3cc35a9414a8ba102a63af64bc5647ea75bc10b2 Mon Sep 17 00:00:00 2001 From: Mirek Kratochvil Date: Tue, 3 Jan 2023 23:33:54 +0100 Subject: numbers --- app/Builtins.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'app/Builtins.hs') diff --git a/app/Builtins.hs b/app/Builtins.hs index e547bd0..22e1c30 100644 --- a/app/Builtins.hs +++ b/app/Builtins.hs @@ -33,6 +33,7 @@ bi = Builtin showTerm itos heap = runIdentity . heapStruct atom struct hrec heap where atom (Atom a) = pure $ itos M.! a + atom (Number n) = pure (show n) atom VoidRef = pure "_" struct (Struct (IR.Id h _)) args = pure $ itos M.! h ++ "(" ++ intercalate "," args ++ ")" -- cgit v1.2.3