diff options
Diffstat (limited to 'src/interpreter.ml')
| -rw-r--r-- | src/interpreter.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/interpreter.ml b/src/interpreter.ml index 1a8cad90..599a83bf 100644 --- a/src/interpreter.ml +++ b/src/interpreter.ml @@ -105,6 +105,10 @@ let value_of_lit (L_aux (l_aux, _)) = |> List.map (fun c -> List.map (fun b -> V_bit b) (Sail_lib.hex_char c)) |> List.concat |> (fun v -> V_vector v) + | L_bin str -> + Util.string_to_list str + |> List.map (fun c -> V_bit (Sail_lib.bin_char c)) + |> (fun v -> V_vector v) | _ -> failwith "Unimplemented value_of_lit" (* TODO *) let is_value = function |