scala-2.10

In Scala 2.10, given class Foo[F[_]] , I can't write scala> x.isInstanceOf[Foo[_]] <console>:10: error: _$1 takes no type parameters, expected: one x.isInstanceOf[Foo[_]] ^ or scala> x.isInstanceOf[Foo[_[_]]] <console>:11: error: _$1 does not take type parameters x.isInstanceOf[Foo[_[_]]] ^ I can write x.isInstanceOf[Foo[F] forSome { type F[_]] } , which gives an unchecked warning. I've tried placing @unchecked annotation in different places, but none of them work: scala> x.isInstanceOf[Foo[H] @unchecked forSome {type H[_]}] <console>:11: warning: abstract type H in type Foo[H] @unchecked

I'm running into a weird issue with reflection in Scala 2.10.0 Milestone 4 that I can't wrap my head around. First for the stuff that works the way I'd expect: scala> import scala.reflect.runtime.universe._ import scala.reflect.runtime.universe._ scala> trait A[X]; trait B[Y] extends A[Y] defined trait A defined trait B scala> typeOf[B[String]].parents res0: List[reflect.runtime.universe.Type] = List(java.lang.Object, A[String]) scala> typeOf[B[String]].parents contains typeOf[A[String]] res1: Boolean = true Similarly (in the same session): scala> trait D; trait E extends A[D] defined trait D

This code compiles with Scala 2.9.2: trait HK { type Rep[A] def unzip1[A, B, C[_]](ps: Rep[C[(A, B)]]): (Rep[C[A]], Rep[C[B]]) def doUnzip1[A, B](ps: Rep[List[(A, B)]]) = unzip1(ps) } But with Scala 2.10.0 it doesn't compile with the following error (higherKinded language feature is enabled): [info] Compiling 1 Scala source to /home/klyuchnikov/code/hk/target/scala-2.10/classes... [error] /home/klyuchnikov/code/hk/src/main/scala/HK.scala:6: type mismatch; [error] found : HK.this.Rep[List[(A, B(in method doUnzip1))]] [error] required: HK.this.Rep[List[((A, B(in method doUnzip1)), B(in method

I am trying to compile a (Scala) macro in Eclipse 3.7.2 with the Scala IDE Plugin available for Scala 2.10.0-M3, but I am experiencing the following error: "macro implementation not found: XXXXX (the most common reason for that is that you cannot use macro implementations in the same compilation run that defines them) if you do need to define macro implementations along with the rest of your program, consider two-phase compilation with -Xmacro-fallback-classpath in the second phase pointing to the output of the first phase" I already know how to avoid it with a simple editor and a terminal

I am trying to unit test an upload call but I get this error for the following code: @MultipartConfig(maxFileSize = 3145728) class WebServlet extends ScalatraServlet with FileUploadSupport { override def isSizeConstraintException(e: Exception) = e match { case se: ServletException if se.getMessage.contains("exceeds max filesize") || se.getMessage.startsWith("Request exceeds maxRequestSize") => true case _ => false } error { case e: SizeConstraintExceededException => RequestEntityTooLarge("too much!") } post("/uploadscript") { val privateParam = try {params("private") != null && params("private

For a DSL I would like to be able to do something like: object Creator { def create[T](s :String) :Foo[T] = macro createImpl[T] def createImpl[T](c :Context)(s :c.Expr[String]) : c.Expr[Foo[T]] = { reify(new Foo[Any]()) } } My problem is to replace the Any in reify with something that will return the correctly parametrized version. (above I use a string argument, but in the final version I plan to use the companion object of class T as a marker to know the argument-type of a Function1[T,Unit]) You need to: a) write new Foo[T]() instead of new Foo[Any]() (easy) b) pass in the macro a