Add support for top-level letbindings to C backend

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
 }
+*/