diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2012-12-10 14:18:48 -0800 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2012-12-10 14:18:48 -0800 |
commit | 38b92224536b5d6619364c8266232569b12f6a26 (patch) | |
tree | 2a29b8d4525d8e21a8ff9d617e8fee612f695bf0 /test/files | |
parent | 22e0e3b22c9667c3cee63a5cfcae14f245eac51a (diff) | |
parent | 673bc700fc32fa18941554533dfd31bf2523d45e (diff) | |
download | scala-38b92224536b5d6619364c8266232569b12f6a26.tar.gz scala-38b92224536b5d6619364c8266232569b12f6a26.tar.bz2 scala-38b92224536b5d6619364c8266232569b12f6a26.zip |
Merge pull request #1691 from retronym/ticket/6558
SI-6558: typecheck lazy annotation info using non-silent context
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/neg/t6558.check | 10 | ||||
-rw-r--r-- | test/files/neg/t6558.scala | 27 | ||||
-rw-r--r-- | test/files/neg/t6558b.check | 7 | ||||
-rw-r--r-- | test/files/neg/t6558b.scala | 15 |
4 files changed, 59 insertions, 0 deletions
diff --git a/test/files/neg/t6558.check b/test/files/neg/t6558.check new file mode 100644 index 0000000000..1b39ef9986 --- /dev/null +++ b/test/files/neg/t6558.check @@ -0,0 +1,10 @@ +t6558.scala:19: error: not found: type classs + @classs + ^ +t6558.scala:22: error: not found: type typeparam + class D[@typeparam T] + ^ +t6558.scala:25: error: not found: type valueparam + @valueparam x: Any + ^ +three errors found diff --git a/test/files/neg/t6558.scala b/test/files/neg/t6558.scala new file mode 100644 index 0000000000..bdc441698f --- /dev/null +++ b/test/files/neg/t6558.scala @@ -0,0 +1,27 @@ +class AnnotNotFound { + def foo(a: Any) = () + + foo { + // Not yet issued in the context of this file, see SI-6758 + // This error is issued in t6558b.scala + @inargument + def foo = 0 + foo + } + + () => { + // As per above + @infunction + def foo = 0 + () + } + + @classs + class C + + class D[@typeparam T] + + class E( + @valueparam x: Any + ) +} diff --git a/test/files/neg/t6558b.check b/test/files/neg/t6558b.check new file mode 100644 index 0000000000..cfa384fc08 --- /dev/null +++ b/test/files/neg/t6558b.check @@ -0,0 +1,7 @@ +t6558b.scala:5: error: not found: type inargument + @inargument + ^ +t6558b.scala:11: error: not found: type infunction + @infunction + ^ +two errors found diff --git a/test/files/neg/t6558b.scala b/test/files/neg/t6558b.scala new file mode 100644 index 0000000000..2aa06f69cf --- /dev/null +++ b/test/files/neg/t6558b.scala @@ -0,0 +1,15 @@ +class AnnotNotFound { + def foo(a: Any) = () + + foo { + @inargument + def foo = 0 + foo + } + + () => { + @infunction + def foo = 0 + () + } +} |