diff options
| author | Martin Odersky <odersky@gmail.com> | 2006-10-20 13:37:17 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2006-10-20 13:37:17 +0000 |
| commit | f9e5afd36a8a241abc86c80197d8fbe10488280e (patch) | |
| tree | 0210b277aeabea10dc8eca0dc96171dcd5934976 /test/files/neg/gadts1.check | |
| parent | f3f8f974bf0ebbe4746fbe83103566e71e8b1e7c (diff) | |
| download | scala-f9e5afd36a8a241abc86c80197d8fbe10488280e.tar.gz scala-f9e5afd36a8a241abc86c80197d8fbe10488280e.tar.bz2 scala-f9e5afd36a8a241abc86c80197d8fbe10488280e.zip | |
fixed problems in type patterns
made some type error messages more precise
Diffstat (limited to 'test/files/neg/gadts1.check')
| -rw-r--r-- | test/files/neg/gadts1.check | 7 |
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 |