diff options
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 |