summaryrefslogtreecommitdiff
path: root/app/Builtins.hs
diff options
context:
space:
mode:
authorMirek Kratochvil <exa.exa@gmail.com>2023-01-03 23:33:54 +0100
committerMirek Kratochvil <exa.exa@gmail.com>2023-01-03 23:33:54 +0100
commit3cc35a9414a8ba102a63af64bc5647ea75bc10b2 (patch)
tree42033391b50822737b8849994849563a4523d3ba /app/Builtins.hs
parentdc13c4d5dfd0da1f0bcf8b5a9ffa760220d628c9 (diff)
downloadprlg-3cc35a9414a8ba102a63af64bc5647ea75bc10b2.tar.gz
prlg-3cc35a9414a8ba102a63af64bc5647ea75bc10b2.tar.bz2
numbers
Diffstat (limited to 'app/Builtins.hs')
-rw-r--r--app/Builtins.hs1
1 files changed, 1 insertions, 0 deletions
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 ++ ")"