diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-18 19:04:05 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-18 19:04:05 +0100 |
commit | 9b260d087a4c63c39e404fd6ba7ade286fdfd8e8 (patch) | |
tree | cf25fbfcc868d7736314a314930b1f58b585996d /tests/pos/t1208.scala | |
parent | 14f4c964953535cb7375343ec5e8575e37083aba (diff) | |
download | dotty-9b260d087a4c63c39e404fd6ba7ade286fdfd8e8.tar.gz dotty-9b260d087a4c63c39e404fd6ba7ade286fdfd8e8.tar.bz2 dotty-9b260d087a4c63c39e404fd6ba7ade286fdfd8e8.zip |
Moved previously failing tests to pos
GADTs now work again (they stopped workign when we went to the inductive satisfiability checks).
The deep for expression also works, even with some more levels added.
Diffstat (limited to 'tests/pos/t1208.scala')
-rw-r--r-- | tests/pos/t1208.scala | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/pos/t1208.scala b/tests/pos/t1208.scala new file mode 100644 index 000000000..7b14aadca --- /dev/null +++ b/tests/pos/t1208.scala @@ -0,0 +1,7 @@ +object Test { + object Foo + val f: Option[Foo.type] = Some(Foo) +} + +// unsupported with current typing rules. +// on the other hand, we need a way to refer to a module class. |