diff options
| author | Mirek Kratochvil <miroslav.kratochvil@uni.lu> | 2023-01-04 17:33:08 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <miroslav.kratochvil@uni.lu> | 2023-01-04 17:33:08 +0100 |
| commit | be9beabac03d04d3570c924cdf3cd89d16ca555f (patch) | |
| tree | 6bd850e947e5bd15c55c11ac3744d0403f5b80fa | |
| parent | 1f424d332ec56c8598c89feb2b36f66d98bfc412 (diff) | |
| download | prlg-be9beabac03d04d3570c924cdf3cd89d16ca555f.tar.gz prlg-be9beabac03d04d3570c924cdf3cd89d16ca555f.tar.bz2 | |
disambiguate
| -rw-r--r-- | app/Builtins.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/app/Builtins.hs b/app/Builtins.hs index 898d664..9db5386 100644 --- a/app/Builtins.hs +++ b/app/Builtins.hs @@ -32,11 +32,11 @@ bi = Builtin showTerm itos heap = runIdentity . heapStruct atom struct hrec heap where - atom (Atom a) = pure $ itos M.! a + 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 ++ ")" + pure $ "'" ++ itos M.! h ++ "'(" ++ intercalate "," args ++ ")" hrec (HeapRef hr) ref = pure $ (if hr == ref |