diff options
| author | Kathy Gray | 2016-08-10 12:04:26 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-08-10 12:04:26 +0100 |
| commit | 5c31607a52606cd5671d7d65627ac37cc9f117c8 (patch) | |
| tree | be8ecb1d2e7af52f59d0645f37ecd08f7757f0fc /src | |
| parent | db68a8b79986cfa2e7e60cd7a6502a3fef858b4f (diff) | |
Missing case in lib
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 39597e89..7c6a2b53 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -230,6 +230,8 @@ let to_num signed v = V_lit(L_aux (L_num(integerFromBitSeq (Maybe_extra.fromJust (bitSeqFromBoolList (map bit_to_bool l))))) Unknown) | V_unknown -> V_unknown | V_lit (L_aux L_undef _) -> v + | V_lit (L_aux L_zero l) -> V_lit (L_aux (L_num 0) l) + | V_lit (L_aux L_one l) -> V_lit (L_aux (L_num 1) l) | _ -> Assert_extra.failwith ("to_num given unexpected " ^ (string_of_value v)) end) |