diff options
Diffstat (limited to 'src/gen_lib/vector.lem')
| -rw-r--r-- | src/gen_lib/vector.lem | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/gen_lib/vector.lem b/src/gen_lib/vector.lem index 5e78e010..9efae768 100644 --- a/src/gen_lib/vector.lem +++ b/src/gen_lib/vector.lem @@ -1,6 +1,6 @@ open import Pervasives -type bit = O | I | U +type bit = O | I | Undef type vector 'a = V of list 'a * integer * bool let rec nth xs (n : integer) = match (n,xs) with @@ -28,11 +28,11 @@ let make_indexed_vector_reg entries default start length = V (List.foldl replace (replicate length v) entries) start let make_indexed_vector_bit entries default start length = - let default = match default with Nothing -> U | Just v -> v end in + let default = match default with Nothing -> Undef | Just v -> v end in V (List.foldl replace (replicate length default) entries) start let make_bitvector_undef length = - V (replicate length U) 0 true + V (replicate length Undef) 0 true let vector_concat (V bs start is_inc) (V bs' _ _) = V (bs ++ bs') start is_inc |