From d82cd0adaedf8eca558f86baf830cbe571bd9ad8 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 28 Aug 2014 12:53:13 +0100
Subject: fixes to bugs exposed by arm model

---
 src/test/test1.sail | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/test')

diff --git a/src/test/test1.sail b/src/test/test1.sail
index 489206d3..8ae00d78 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -9,9 +9,9 @@ typedef int_list [name = "il"] = list<nat>
 typedef reco = const struct forall 'i, 'a, 'b. { 'a['i] v; 'b w; }
 typedef maybe = const union forall 'a. { Nne; 'a Sme; }
 typedef creg = register bits [5:10] { 5 : h ; 6..7 : j}
-let bool e = true
+let (bool) e = true
 val forall Nat 'a, Nat 'b. bit['a:'b] sliced
-let bit v = bitzero
+let (bit) v = bitzero
 let ( bit [ 32 ] ) v1 = 0b101
 
 let ( bit [32] ) v2 = 0xABCDEF01
@@ -43,7 +43,7 @@ function bit sw s = switch s { case 0 -> bitzero }
 
 typedef colors = enumerate { red; green; blue }
 
-let colors rgb = red
+let (colors) rgb = red
 
 function bit enu (red) = 0
 
-- 
cgit v1.2.3