summaryrefslogtreecommitdiff
path: root/test/files/run/t1501.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/run/t1501.scala')
-rw-r--r--test/files/run/t1501.scala56
1 files changed, 0 insertions, 56 deletions
diff --git a/test/files/run/t1501.scala b/test/files/run/t1501.scala
deleted file mode 100644
index 71ad0aeb5c..0000000000
--- a/test/files/run/t1501.scala
+++ /dev/null
@@ -1,56 +0,0 @@
-import scala.tools.nsc._
-
-object Test {
-
- /**
- * ...
- */
-
- val testCode = <code>
-
- class xyz[A] extends annotation.TypeConstraint
-
- def loopWhile[T](cond: =>Boolean)(body: =>(Unit @xyz[T])): Unit @ xyz[T] = {{
- if (cond) {{
- body
- loopWhile[T](cond)(body)
- }}
- }}
-
- def test() = {{
- var x = 7
- loopWhile(x != 0) {{
- x = x - 1
- (): @xyz[Int]
- }}
- }}
-
- </code>.text
-
- def main(args: Array[String]) {
- val settings = new Settings()
- settings.classpath.value = System.getProperty("java.class.path")
- val tool = new interpreter.IMain(settings)
- val global = tool.global
-
- import global._
- import definitions._
-
- object checker extends AnnotationChecker {
-
- /** Check annotations to decide whether tpe1 <:< tpe2 */
- def annotationsConform(tpe1: Type, tpe2: Type): Boolean = {
-
- tpe1.annotations.forall(a1 => tpe2.annotations.forall(a2 => a1.atp <:< a2.atp))
-
- }
- }
-
- global.addAnnotationChecker(checker)
-
- tool.interpret(testCode)
-
- }
-
-}
-