diff options
| author | Christopher Pulte | 2016-10-25 14:47:13 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2016-10-25 14:47:13 +0100 |
| commit | c9d4764211f32657e571bb6c09a7851618629a30 (patch) | |
| tree | 306d9f00b4ae03d00fc5b41cc85e38123b24afb9 | |
| parent | 2d7d954fe4f0bd3b1bac2afa3801f89ca23f25ed (diff) | |
| parent | 0642542b012e91d5833a299f3486c12474e5b7e6 (diff) | |
Merge branch 'master' of https://bitbucket.org/Peter_Sewell/sail
| -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 |