diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp.lem | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index 4d3e8aff..ca1fb580 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -620,7 +620,9 @@ and interp_main t_level l_env l_mem exp = resolve_outcome (interp_main t_level l_env l_mem (List.hd args)) (fun argv lm le -> (match find_funcl funcls argv with - | None -> (Error "No matching pattern for function",lm,l_env) (*TODO add function name*) + | None -> + let name = match id with Id s -> s | DeIid s -> s end in + (Error ("No matching pattern for function " ^ name),lm,l_env) | Some(env,exp) -> resolve_outcome (interp_main t_level env lm exp) (fun ret lm le -> (Value ret, lm,l_env)) |