diff options
Diffstat (limited to 'src/lem_interp')
| -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 8b801bee..39793bb5 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -406,8 +406,8 @@ let rec match_pattern p value = match value with | V_vector n inc vals -> let (matched_p,bounds,remaining_vals) = - List.foldr - (fun pat (matched_p,bounds,r_vals) -> + List.foldl + (fun (matched_p,bounds,r_vals) pat -> match pat with | P_vector pats -> vec_concat_match pats r_vals | P_id id -> (false,[],[]) (*Need to have at least a guess of how many to consume*) |