diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2023-01-03 23:33:54 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2023-01-03 23:33:54 +0100 |
| commit | 3cc35a9414a8ba102a63af64bc5647ea75bc10b2 (patch) | |
| tree | 42033391b50822737b8849994849563a4523d3ba /app/Builtins.hs | |
| parent | dc13c4d5dfd0da1f0bcf8b5a9ffa760220d628c9 (diff) | |
| download | prlg-3cc35a9414a8ba102a63af64bc5647ea75bc10b2.tar.gz prlg-3cc35a9414a8ba102a63af64bc5647ea75bc10b2.tar.bz2 | |
numbers
Diffstat (limited to 'app/Builtins.hs')
| -rw-r--r-- | app/Builtins.hs | 1 |
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 ++ ")" |
