From cdb18b1e79bef443c49553eba6dcafb729471cfa Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 12 Feb 2018 18:52:23 +0000
Subject: Add support for top-level letbindings to C backend

---
 aarch64/prelude.sail | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'aarch64')

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
 }
+*/
-- 
cgit v1.2.3