diff options
author | Martin Odersky <odersky@gmail.com> | 2015-10-02 18:34:18 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-06 13:54:36 +0200 |
commit | 868ae2acb4ef66fa6c32b45e10ba9940ba7340ad (patch) | |
tree | c5ad91256749c2c71b7348b5498a8778868cb868 /tests/run/CollectionTests.check | |
parent | 0a48b2a6d3516f1f7d10d9a2a594a744ef98d5e8 (diff) | |
download | dotty-868ae2acb4ef66fa6c32b45e10ba9940ba7340ad.tar.gz dotty-868ae2acb4ef66fa6c32b45e10ba9940ba7340ad.tar.bz2 dotty-868ae2acb4ef66fa6c32b45e10ba9940ba7340ad.zip |
Add collection strawman and its tests
This compiles only after the changes in this branch.
Diffstat (limited to 'tests/run/CollectionTests.check')
-rw-r--r-- | tests/run/CollectionTests.check | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/tests/run/CollectionTests.check b/tests/run/CollectionTests.check new file mode 100644 index 000000000..3afe62813 --- /dev/null +++ b/tests/run/CollectionTests.check @@ -0,0 +1,51 @@ +------- +123 +123 +1 +1 +Cons(1,Cons(2,Cons(3,Nil))) +Cons(2,Nil) +Cons(1,Cons(3,Nil)) +Cons(3,Nil) +Cons(true,Cons(true,Cons(true,Nil))) +Cons(1,Cons(-1,Cons(2,Cons(-2,Cons(3,Cons(-3,Nil)))))) +Cons(1,Cons(2,Cons(3,Cons(1,Cons(2,Cons(3,Nil)))))) +Cons(1,Cons(2,Cons(3,Nil))) +Cons(1,Cons(2,Cons(3,Nil))) +Cons(1,Cons(2,Cons(3,Cons(a,Nil)))) +Cons((1,true),Cons((2,true),Cons((3,true),Nil))) +Cons(3,Cons(2,Cons(1,Nil))) +------- +123 +123 +1 +1 +Cons(1,Cons(2,Cons(3,Nil))) +Cons(2,Nil) +Cons(1,Cons(3,Nil)) +Cons(3,Nil) +Cons(true,Cons(true,Cons(true,Nil))) +Cons(1,Cons(-1,Cons(2,Cons(-2,Cons(3,Cons(-3,Nil)))))) +Cons(1,Cons(2,Cons(3,Cons(1,Cons(2,Cons(3,Nil)))))) +Cons(1,Cons(2,Cons(3,Nil))) +Cons(1,Cons(2,Cons(3,Nil))) +Cons(1,Cons(2,Cons(3,Cons(a,Nil)))) +Cons((1,true),Cons((2,true),Cons((3,true),Nil))) +------- +abc +abc +1 +a +Cons(a,Cons(b,Cons(c,Nil))) +b +ac +c +Cons(98,Cons(99,Cons(100,Nil))) +ABC +a,ab,bc,c +abcabc +abcxy +abc +Cons(a,Cons(b,Cons(c,Nil))) +Cons(a,Cons(b,Cons(c,Cons(xyz,Nil)))) +Cons((a,98),Cons((b,99),Cons((c,100),Nil))) |