summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGabriel Kerneis2014-02-07 13:13:04 +0000
committerGabriel Kerneis2014-02-07 13:13:04 +0000
commit11354eafbc9d636455c7265f6f9f3e24ef8eb056 (patch)
treedf6ce263c34b496fcad79aebc8f77ef2977cc629 /src
parent7eb6dea6255eb0dbddaca6309af4f9fd1755041b (diff)
Report unimplemented function name
Diffstat (limited to 'src')
-rw-r--r--src/lem_interp/interp.lem2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index 3ea2a137..bc9d33b2 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -711,7 +711,7 @@ and interp_main t_level l_env l_mem exp =
(match find_extern externs id with
| Just(str) ->
(Action (Call_extern str v) (Frame (Id "0") (E_id (Id "0")) le lm Top), lm, le)
- | Nothing -> (Error "Unknown function call",lm,le) end)
+ | Nothing -> (Error (String.stringAppend "Unknown function call " (get_id id)),lm,le) end)
end) end) end) end)
| out -> out end)
| E_app_infix l op r ->