diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2023-02-18 21:49:28 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2023-02-18 21:49:28 +0100 |
| commit | f58bde237fe48531722bb5b7ccb8f8e4e5bd2990 (patch) | |
| tree | a663706611e8984fd63d091ea07787dbc5feedf3 /app/Interpreter.hs | |
| parent | 97e6cd1d48840800913c2140cfe14fa8431e05c0 (diff) | |
| download | prlg-f58bde237fe48531722bb5b7ccb8f8e4e5bd2990.tar.gz prlg-f58bde237fe48531722bb5b7ccb8f8e4e5bd2990.tar.bz2 | |
op cleaner
Diffstat (limited to 'app/Interpreter.hs')
| -rw-r--r-- | app/Interpreter.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Interpreter.hs b/app/Interpreter.hs index f36ef0b..b215049 100644 --- a/app/Interpreter.hs +++ b/app/Interpreter.hs @@ -77,7 +77,7 @@ proveStep = St.get >>= go _ -> do StrTable _ _ itos <- St.gets strtable ifail $ - "no definition: " ++ (itos M.! str fn) ++ "/" ++ show (arity fn) + "no definition: '" ++ (itos M.! str fn) ++ "'/" ++ show (arity fn) {- Unification -} go i@Interp {cur = cur@Cho {hed = U h:hs, gol = U g:gs, heap = heap}} = unify h g |