diff options
| author | Gabriel Kerneis | 2014-07-02 10:21:09 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-07-02 10:21:09 +0100 |
| commit | e90916704f026596f809f4dc578215180082dfdc (patch) | |
| tree | 0e686554f5879dc9acca40276f597844243de5e6 | |
| parent | 4021aed426276dbe4bedad11bc247d7bbbb54162 (diff) | |
Fix ordering issue in vector-concat pattern matching
| -rw-r--r-- | src/lem_interp/interp.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index f1e7a2ac..11cbb923 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -840,7 +840,7 @@ and vec_concat_match pats r_vals = let (matched_p,used_unknown,new_bounds) = match_pattern pat r in if matched_p then let (matched_p,used_unknown',bounds,matcheds,r_vals) = vec_concat_match pats r_vals in - (matched_p, used_unknown||used_unknown',new_bounds++bounds,matcheds++[r],r_vals) + (matched_p, used_unknown||used_unknown',new_bounds++bounds,r :: matcheds,r_vals) else (false,false,[],[],[]) end end |