compile with locally built scala-virtualized 2.11

all tests pass here, but scala-virtualized has a
few failing ones related to pattern matching

Author: TiarkRompf

build.sbt

@@ -4,10 +4,16 @@ version := "0.3-SNAPSHOT"
 
 organization := "EPFL"
 
-scalaOrganization := "org.scala-lang.virtualized"
+scalaOrganization := "org.scala-lang" // "org.scala-lang.virtualized"
 
 scalaVersion := virtScala
 
+// BRING YOUR OWN SCALAC:
+// this should point to a scala compiler built from this repo/branch:
+// https://github.com/TiarkRompf/scala/tree/topic-virt-2.11.2
+
+scalaHome := Some(file("/Users/me/scala/build/pack/"))
+
 scalaSource in Compile <<= baseDirectory(_ / "src")
 
 scalaSource in Test <<= baseDirectory(_ / "test-src")
@@ -19,9 +25,12 @@ scalacOptions += "-Yvirtualize"
 //scalacOptions in Compile ++= Seq(/*Unchecked, */Deprecation)
 
 
-libraryDependencies += "org.scala-lang.virtualized" % "scala-library" % virtScala
+libraryDependencies += "org.scala-lang" % "scala-library" % virtScala
+
+libraryDependencies += "org.scala-lang" % "scala-compiler" % virtScala
+
+libraryDependencies += "org.scala-lang.plugins" % "scala-continuations-library_2.11" % "1.0.2"
 
-libraryDependencies += "org.scala-lang.virtualized" % "scala-compiler" % virtScala
 
 libraryDependencies += scalaTest
 
@@ -36,6 +45,6 @@ publishArtifact in (Compile, packageDoc) := false
 // continuations
 autoCompilerPlugins := true
 
-addCompilerPlugin("org.scala-lang.virtualized.plugins" % "continuations" % virtScala)
+addCompilerPlugin("org.scala-lang.plugins" % "scala-continuations-plugin_2.11.2" % "1.0.2")
 
 scalacOptions += "-P:continuations:enable"

project/Build.scala

@@ -4,9 +4,9 @@ import java.io.File
 object LMSBuild extends Build {
   System.setProperty("showSuppressedErrors", "false")
 
-  val scalaTest = "org.scalatest" % "scalatest_2.10" % "2.1.2"
+  val scalaTest = "org.scalatest" % "scalatest_2.11" % "2.2.2"
 
-  val virtScala = Option(System.getenv("SCALA_VIRTUALIZED_VERSION")).getOrElse("2.10.2")
+  val virtScala = Option(System.getenv("SCALA_VIRTUALIZED_VERSION")).getOrElse("2.11.2")
 
   lazy val lms = Project("LMS", file("."))
 }

src/common/Structs.scala

@@ -31,7 +31,7 @@ trait StructTags {
   case class ClassTag[T](name: String) extends StructTag[T]
   case class NestClassTag[C[_],T](elem: StructTag[T]) extends StructTag[C[T]]
   case class AnonTag[T](fields: RefinedManifest[T]) extends StructTag[T]
-  case class MapTag[T] extends StructTag[T]
+  case class MapTag[T]() extends StructTag[T]
 }
 
 trait StructExp extends StructOps with StructTags with BaseExp with EffectExp with VariablesExp with ObjectOpsExp with StringOpsExp with OverloadHack {

test-out/epfl/test14-queries3.check

@@ -61,7 +61,7 @@ x2551
   End of Generated Code                  
 *******************************************/
 
-warning: there were 9 feature warning(s); re-run with -feature for details
+warning: there were 9 feature warnings; re-run with -feature for details
 one warning found
 compilation: ok
 expertise("abstract"):

test-out/epfl/test14-queries4.check

@@ -61,7 +61,7 @@ x2551
   End of Generated Code                  
 *******************************************/
 
-warning: there were 9 feature warning(s); re-run with -feature for details
+warning: there were 9 feature warnings; re-run with -feature for details
 one warning found
 compilation: ok
 expertise2("abstract"):

test-src/epfl/test12-collections/TestList.scala

@@ -22,7 +22,7 @@ class TestList extends FileDiffSuite {
       xs ++ List(unit(1), unit(2), unit(3))
 
     def emptyLeft(xs: Rep[List[Int]]): Rep[List[Int]] =
-      List() ++ xs
+      List[Int]() ++ xs // VIRT 2.11: need type annotation
 
     def emptyRight(xs: Rep[List[Int]]): Rep[List[Int]] =
       xs ++ List()

test-src/epfl/test14-scratch/TestQueries.scala

@@ -799,7 +799,8 @@ trait StagedExp extends Staged with ScalaOpsPkgExp with BooleanOpsExpOpt with St
 */
     case (Empty(),Empty())       => List()
     case (IfThen(c,a),Empty())   => if (cond && c) a else List()
-    case (For(l,f),Empty())      => for (x <- l if cond; y <- f(x)) yield y
+    case (For(l,f),Empty())      => implicit def unsafe[T] = manifest[Any].asInstanceOf[Manifest[T]] // FIXME: get manifest (for result type) from somewhere else
+                                    for (x <- l if cond; y <- f(x)) yield y
     case (Concat(a,b),Empty())   => (if (cond) a else List()) ++ (if (cond) b else List())
     case _                       => super.ifThenElse(cond,thenp,elsep)
   }).asInstanceOf[Exp[T]]