From 98231d112693ef6815e79a6aba3ba0a5b7f027a7 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 28 Feb 2014 11:47:41 +0000
Subject: Correct bug in parsing and handling a['a:'b] types

---
 src/test/test1.sail | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/test')

diff --git a/src/test/test1.sail b/src/test/test1.sail
index 34210f97..3d69018d 100644
--- a/src/test/test1.sail
+++ b/src/test/test1.sail
@@ -10,6 +10,7 @@ typedef maybe = const union forall 'a. { Nne; 'a Sme; }
 typedef colors = enumerate { red; green; blue }
 typedef creg = register bits [5:10] { 5 : h ; 6..7 : j}
 let bool e = true
+val forall Nat 'a, Nat 'b. bit['a:'b] sliced
 let bit v = bitzero
 let ( bit [ 32 ] ) v1 = 0b101
 
-- 
cgit v1.2.3