From 13ea5909ea25e4bad184e9e4581d94230dc11d9f Mon Sep 17 00:00:00 2001 From: James Iry Date: Wed, 28 Aug 2013 20:48:47 -0700 Subject: Make specialization aware of anonymous functions. During development of late delmabdafying there was a problem where specialization would undo some of the work done in uncurry if the body of the lambda had a constant type. That would result in a compiler crash as when the delambdafy phase got a tree shape it didn't understand. This commit has a fix and a test. --- test/files/specialized/constant_lambda.scala | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 test/files/specialized/constant_lambda.scala (limited to 'test/files/specialized/constant_lambda.scala') diff --git a/test/files/specialized/constant_lambda.scala b/test/files/specialized/constant_lambda.scala new file mode 100644 index 0000000000..bb9a97403e --- /dev/null +++ b/test/files/specialized/constant_lambda.scala @@ -0,0 +1,16 @@ +// during development of late delmabdafying there was a problem where +// specialization would undo some of the work done in uncurry if the body of the +// lambda had a constant type. That would result in a compiler crash as +// when the delambdafy phase got a tree shape it didn't understand +class X[@specialized(Int) A] { + val f = { x: A => false } +} + +object Test { + def main(args: Array[String]) { + val xInt = new X[Int] + println(xInt.f(42)) + val xString = new X[String] + println(xString.f("hello")) + } +} \ No newline at end of file -- cgit v1.2.3