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/escapes.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/escapes.check')
| -rw-r--r-- | test/files/neg/escapes.check | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/files/neg/escapes.check b/test/files/neg/escapes.check new file mode 100644 index 0000000000..95299a4c75 --- /dev/null +++ b/test/files/neg/escapes.check @@ -0,0 +1,5 @@ +escapes.scala:2 error: type t escapes its defining scope as part of type t + def f(x: Any) = x match { case y: Cell[t] => y.elem }
+ ^ +subst type t to T +one error found |