diff options
| author | Kathy Gray | 2016-08-14 12:38:08 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-08-14 12:38:08 +0100 |
| commit | 449e1e48aaa0e0cb9da90eb21f02cb16e5da4504 (patch) | |
| tree | 74bcd2f820fab0d4f09ecdf0b04ca3ced93d3bb7 /src/lem_interp/interp_lib.lem | |
| parent | ac9aa3b73181cf6f8a0bbcf2c59562ec17c7c8ea (diff) | |
Add missing case to replicate
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 7c6a2b53..1c70a97b 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -776,6 +776,7 @@ let duplicate direction v = | (V_unknown,(V_lit (L_aux (L_num n) _))) -> V_vector 0 direction (List.replicate (natFromInteger n) V_unknown) | (V_unknown,_) -> V_unknown + | (_, V_unknown) -> V_unknown | _ -> fail () end in match v with |