From 9b260d087a4c63c39e404fd6ba7ade286fdfd8e8 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Sun, 18 Jan 2015 19:04:05 +0100
Subject: 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.
---
 tests/pos/t1208.scala | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tests/pos/t1208.scala

(limited to 'tests/pos/t1208.scala')

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.
-- 
cgit v1.2.3