diff options
Diffstat (limited to 'aarch64')
| -rw-r--r-- | aarch64/prelude.sail | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/aarch64/prelude.sail b/aarch64/prelude.sail index 46d12375..f022510f 100644 --- a/aarch64/prelude.sail +++ b/aarch64/prelude.sail @@ -136,8 +136,11 @@ val __ZeroExtendSlice = {lem: "extz_slice"} : forall 'm. (bits('m), int, int) -> val cast cast_unit_vec : bit -> bits(1) -function cast_unit_vec bitzero = 0b0 -and cast_unit_vec bitone = 0b1 +function cast_unit_vec b = + match b { + bitzero => 0b0, + bitone => 0b1 + } val print = "prerr_endline" : string -> unit @@ -309,7 +312,9 @@ union exception = { Error_ReservedEncoding } +/* union option ('a : Type) = { None, Some : 'a } +*/ |