diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-06 21:27:26 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-06 21:27:26 -0400 |
commit | ecc45b22ce41b6cde8e42a4c1baca4a0cd7c3ea3 (patch) | |
tree | b9f74db645d78eb544ca082d9c3a2a751dacfaa3 /test/regress/regress0 | |
parent | 1c494313662b664a606f6f745f67cbd964c61927 (diff) | |
parent | 5cee91676e0c0faf1f1fffcb8ffb71baaa6f8a60 (diff) |
Merge branch '1.4.x'
Diffstat (limited to 'test/regress/regress0')
-rw-r--r-- | test/regress/regress0/datatypes/Makefile.am | 1 | ||||
-rw-r--r-- | test/regress/regress0/datatypes/tuple-record-bug.cvc | 20 |
2 files changed, 21 insertions, 0 deletions
diff --git a/test/regress/regress0/datatypes/Makefile.am b/test/regress/regress0/datatypes/Makefile.am index a3a984682..05eb710df 100644 --- a/test/regress/regress0/datatypes/Makefile.am +++ b/test/regress/regress0/datatypes/Makefile.am @@ -23,6 +23,7 @@ MAKEFLAGS = -k TESTS = \ tuple.cvc \ tuple-model.cvc \ + tuple-record-bug.cvc \ rec1.cvc \ rec2.cvc \ rec4.cvc \ diff --git a/test/regress/regress0/datatypes/tuple-record-bug.cvc b/test/regress/regress0/datatypes/tuple-record-bug.cvc new file mode 100644 index 000000000..33c68dece --- /dev/null +++ b/test/regress/regress0/datatypes/tuple-record-bug.cvc @@ -0,0 +1,20 @@ +% EXPECT: invalid + +Mem_0 : TYPE = ARRAY INT OF INT; + +MEMORY : TYPE = [# int : Mem_0, queries : Mem_0 #]; + +x : INT; + +foo : MEMORY -> MEMORY + = LAMBDA (x : MEMORY) : LET y = x WITH .int := x.int IN y; + +m : MEMORY; + +w : [MEMORY,INT] = + IF x = 0 + THEN (foo(m),0) + ELSE (m, 0) + ENDIF; + +QUERY w.1 = 1; |