diff options
| author | Kathy Gray | 2016-10-25 13:32:18 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-10-25 13:32:27 +0100 |
| commit | 0642542b012e91d5833a299f3486c12474e5b7e6 (patch) | |
| tree | bc7c3e3eb04e80f24444cfa123a90a8b43761bea | |
| parent | b8fa3ef036d9a7e4ae2c3fe1274ac08f5aeb40b6 (diff) | |
Improve pattern match failure error messages
| -rw-r--r-- | src/lem_interp/interp.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index bed1007b..fb7053b5 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -2116,7 +2116,7 @@ and interp_main mode t_level l_env l_mem (E_aux exp (l,annot)) = | Just(funcls) -> (match find_funcl t_level funcls v with | [] -> - (Error l ("No matching pattern for function " ^ name),l_mem,l_env) + (Error l ("No matching pattern for function " ^ name ^ " on value " ^ (string_of_value v)),l_mem,l_env) | [(env,used_unknown,exp)] -> resolve_outcome (if mode.eager_eval @@ -2135,7 +2135,7 @@ and interp_main mode t_level l_env l_mem (E_aux exp (l,annot)) = | Just(funcls) -> (match find_funcl t_level funcls v with | [] -> - (Error l ("No matching pattern for function " ^ name ),l_mem,l_env) + (Error l ("No matching pattern for function " ^ name ^ " on value " ^ (string_of_value v)),l_mem,l_env) | [(env,used_unknown,exp)] -> resolve_outcome (if mode.eager_eval |