diff options
| author | Gabriel Kerneis | 2014-02-07 13:13:04 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-02-07 13:13:04 +0000 |
| commit | 11354eafbc9d636455c7265f6f9f3e24ef8eb056 (patch) | |
| tree | df6ce263c34b496fcad79aebc8f77ef2977cc629 /src | |
| parent | 7eb6dea6255eb0dbddaca6309af4f9fd1755041b (diff) | |
Report unimplemented function name
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp.lem | 2 |
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 -> |
