From 04934f061ed5dac10d112bdfd3fcbec7e8849dc3 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 4 Jul 2014 14:53:27 +0100
Subject: Correct error of forgetting type information that was allowing more
 programs than it should have

---
 src/test/test3.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/test')

diff --git a/src/test/test3.sail b/src/test/test3.sail
index 3a806f41..e2dbe2f3 100644
--- a/src/test/test3.sail
+++ b/src/test/test3.sail
@@ -27,7 +27,7 @@ function nat main _ = {
   (* XXX this one is broken - I don't what it should do,
   or even if we should accept it, but the current result
   is to eat up one bit, ending up with a 7-bit word. *)
-  (MEM_WORD(0))[4..3] := 0b10;
+  (*(MEM_WORD(0))[4..3] := 0b10;*) (*We reject this as 4 > 3 not <= *)
   ignore(MEM_WORD(0));
 
   (* infix call *)
-- 
cgit v1.2.3