diff options
| author | Kathy Gray | 2014-07-04 14:53:27 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-07-04 14:53:36 +0100 |
| commit | 04934f061ed5dac10d112bdfd3fcbec7e8849dc3 (patch) | |
| tree | eca24ea71463593a77c5acec6129bb39b6b056a2 /src/test | |
| parent | 8522c1dbf5fc7b739a89873a1d86d45b11bc136f (diff) | |
Correct error of forgetting type information that was allowing more programs than it should have
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/test3.sail | 2 |
1 files changed, 1 insertions, 1 deletions
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 *) |