diff options
Diffstat (limited to 'src/lem_interp/interp.lem')
| -rw-r--r-- | src/lem_interp/interp.lem | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index 91e0ddc2..8a9ebfe5 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -215,10 +215,9 @@ let litV_to_vec (L_aux lit l) = let bits = String.toCharList s in let exploded_bits = bits in (*List.map (fun c -> String.toString [c]) bits in*) let bits = List.map (fun s -> match s with | #'0' -> (V_lit (L_aux L_zero l)) | #'1' -> (V_lit (L_aux L_one l)) end) exploded_bits in - (* XXX assume binary constants are written in big-endian, convert them to - * little-endian by default - we might need syntax to change both of those - * assumptions. *) - V_vector 0 true (List.reverse bits) + (* XXX assume binary constants are written in big-endian, + * we might need syntax to change this assumption. *) + V_vector 0 true bits end (* Like List_extra.nth with a natural instead of nat index - |