diff options
| author | Paul Phillips <paulp@improving.org> | 2012-11-29 05:17:48 +0100 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-11-29 09:36:00 +0100 |
| commit | d55840e07586ceb11c18ad4c75f4bc726d03aeb6 (patch) | |
| tree | 567fcb821823be1b9d6258eb436241254c27a6fb /test/files/neg/gadts1.check | |
| parent | b149c7b5f26b6771557849aa04b96a3ca3bdedee (diff) | |
| download | scala-d55840e07586ceb11c18ad4c75f4bc726d03aeb6.tar.gz scala-d55840e07586ceb11c18ad4c75f4bc726d03aeb6.tar.bz2 scala-d55840e07586ceb11c18ad4c75f4bc726d03aeb6.zip | |
Asserts about Tree qualifiers.
Encoding recent revelations about certain tree invariants
in the form of asserts.
Diffstat (limited to 'test/files/neg/gadts1.check')
| -rw-r--r-- | test/files/neg/gadts1.check | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/files/neg/gadts1.check b/test/files/neg/gadts1.check index 44d2b114d6..a5e3e0de10 100644 --- a/test/files/neg/gadts1.check +++ b/test/files/neg/gadts1.check @@ -3,9 +3,9 @@ gadts1.scala:15: error: type mismatch; required: a case NumTerm(n) => c.x = Double(1.0) ^ -gadts1.scala:20: error: class Cell of type Test.Cell does not take type parameters. +gadts1.scala:20: error: Test.Cell[a] does not take parameters case Cell[a](x: Int) => c.x = 5 - ^ + ^ gadts1.scala:20: error: type mismatch; found : Int(5) required: a |