diff options
Diffstat (limited to 'test/files/run/t1501.scala')
-rw-r--r-- | test/files/run/t1501.scala | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/test/files/run/t1501.scala b/test/files/run/t1501.scala new file mode 100644 index 0000000000..07190a3b2c --- /dev/null +++ b/test/files/run/t1501.scala @@ -0,0 +1,55 @@ +import scala.tools.nsc._ + +object Test { + + /** + * ... + */ + + val testCode = <code> + + class xyz[A] extends 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 tool = new Interpreter(new Settings()) + val global = tool.compiler + + import global._ + import definitions._ + + object checker extends AnnotationChecker { + + /** Check annotations to decide whether tpe1 <:< tpe2 */ + def annotationsConform(tpe1: Type, tpe2: Type): Boolean = { + + tpe1.attributes.forall(a1 => tpe2.attributes.forall(a2 => a1.atp <:< a2.atp)) + + } + } + + global.addAnnotationChecker(checker) + + tool.interpret(testCode) + + } + +} + |