diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-04 19:55:16 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-09 17:21:42 -0400 |
| commit | 42d28850d4f2f4816af24dedf8d1cbd0a0d58b6f (patch) | |
| tree | a1183f01ad74389d5e6c5d9c949e18d25f75d1cd /test/regress/regress0 | |
| parent | 9d0734cf73454ecfd51556ca84daaba9025b28f8 (diff) | |
Support empty (and 1-ary) tuples and records.
Diffstat (limited to 'test/regress/regress0')
| -rw-r--r-- | test/regress/regress0/datatypes/Makefile.am | 1 | ||||
| -rw-r--r-- | test/regress/regress0/datatypes/empty_tuprec.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 06227ad3a..b95261d56 100644 --- a/test/regress/regress0/datatypes/Makefile.am +++ b/test/regress/regress0/datatypes/Makefile.am @@ -30,6 +30,7 @@ TESTS = \ datatype3.cvc \ datatype4.cvc \ datatype13.cvc \ + empty_tuprec.cvc \ mutually-recursive.cvc \ rewriter.cvc \ typed_v1l50016-simp.cvc \ diff --git a/test/regress/regress0/datatypes/empty_tuprec.cvc b/test/regress/regress0/datatypes/empty_tuprec.cvc new file mode 100644 index 000000000..8e163e855 --- /dev/null +++ b/test/regress/regress0/datatypes/empty_tuprec.cvc @@ -0,0 +1,20 @@ +OPTION "incremental"; + +a1, a2 : []; % empty tuples (a unit type) +b1, b2 : [##]; % empty records (a unit type) +c1, c2 : [[]]; % 1-tuples of the empty tuple (a unit type) +d1, d2 : [#x:[[##]],y:[#z:[]#]#]; % more complicated records (still a unit type) + +% EXPECT: valid +QUERY a1 = a2; + +% EXPECT: valid +QUERY b1 = b2; + +% EXPECT: valid +QUERY c1 = c2; + +% EXPECT: valid +QUERY d1 = d2; + +% EXIT: 20 |