diff options
| author | Alasdair | 2020-11-01 15:00:11 +0000 |
|---|---|---|
| committer | Alasdair | 2020-11-01 15:01:05 +0000 |
| commit | 12edcd22c20f480ca73bcfdfb08477fb0480657d (patch) | |
| tree | 1dc46bb7708edfa3c377c55b145facfa2fabb7d6 /src | |
| parent | 29137641777155badb5863fd38ecb422e23cd1ca (diff) | |
Fix interpreter pattern matching bug
Diffstat (limited to 'src')
| -rw-r--r-- | src/interpreter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interpreter.ml b/src/interpreter.ml index b0faabce..fb798b65 100644 --- a/src/interpreter.ml +++ b/src/interpreter.ml @@ -748,7 +748,7 @@ and pattern_match env (P_aux (p_aux, (l, _)) as pat) value = let hd_match, hd_bind = pattern_match env hd_pat hd_value in let tl_match, tl_bind = pattern_match env tl_pat (V_list tl_values) in hd_match && tl_match, Bindings.merge combine hd_bind tl_bind - | None -> failwith "Cannot match cons pattern against non-list" + | None -> false, Bindings.empty end | P_string_append _ -> assert false (* TODO *) |