diff options
Diffstat (limited to 'test/files/neg/gadts1.check')
| -rw-r--r-- | test/files/neg/gadts1.check | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/test/files/neg/gadts1.check b/test/files/neg/gadts1.check index 4c91a3bcf8..44d2b114d6 100644 --- a/test/files/neg/gadts1.check +++ b/test/files/neg/gadts1.check @@ -3,4 +3,12 @@ gadts1.scala:15: error: type mismatch; required: a case NumTerm(n) => c.x = Double(1.0) ^ -one error found +gadts1.scala:20: error: class Cell of type Test.Cell does not take type parameters. + case Cell[a](x: Int) => c.x = 5 + ^ +gadts1.scala:20: error: type mismatch; + found : Int(5) + required: a + case Cell[a](x: Int) => c.x = 5 + ^ +three errors found |