summaryrefslogtreecommitdiff
path: root/test/files/neg/gadts1.check
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/neg/gadts1.check')
-rw-r--r--test/files/neg/gadts1.check7
1 files changed, 1 insertions, 6 deletions
diff --git a/test/files/neg/gadts1.check b/test/files/neg/gadts1.check
index 8b3d6605ed..a761b79cb8 100644
--- a/test/files/neg/gadts1.check
+++ b/test/files/neg/gadts1.check
@@ -1,11 +1,6 @@
gadts1.scala:15 error: type mismatch;
- found : Test.this.NumTerm
- required: Test.this.Term[a]
- case NumTerm(n) => c.x = Double(1.0)
- ^
-gadts1.scala:15 error: type mismatch;
found : Test.this.Double
required: a
case NumTerm(n) => c.x = Double(1.0)
^
-two errors found
+one error found