diff options
| author | Kathy Gray | 2016-01-20 13:47:07 +0000 |
|---|---|---|
| committer | Kathy Gray | 2016-01-20 13:51:44 +0000 |
| commit | 222fdc8a12a37fe2d44a0cdeb7a49279b2cf56d8 (patch) | |
| tree | e9274dedab1a317356ba886b9f2a7154bf0eaaf8 /src/lem_interp/interp_lib.lem | |
| parent | b27fed4f2e3e5c8032d191dd860c1ea9724e647e (diff) | |
Assorted bug fixes that gets one mips instruction running (then fails for expected reasons) :)
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index c1267fc6..e49c38e2 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -235,7 +235,7 @@ let to_vec_inc (V_tuple[v1;v2]) = let to_vec_dec (V_tuple([v1;v2])) = let tv_fun v1 v2 = - match (v1,v2) with + match (v1,v2) with | (V_lit(L_aux (L_num len) _), (V_lit(L_aux (L_num n) ln))) -> let len = if len < 0 then 0 else natFromInteger len in let l = boolListFrombitSeq len (bitSeqFromInteger Nothing n) in @@ -705,8 +705,8 @@ let library_functions direction = [ ("EXTZ", extz direction); ("to_vec_inc", to_vec_inc); ("to_vec_inc_undef", to_vec_inc_undef); - ("to_vec_dec", to_vec_dec_undef); - ("to_vec_dec_undef", to_vec_dec); + ("to_vec_dec", to_vec_dec); + ("to_vec_dec_undef", to_vec_dec_undef); ("bitwise_not", bitwise_not); ("bitwise_not_bit", bitwise_not_bit); ("bitwise_and", bitwise_binop (&&) "&"); |