[debug] Calling Scala compiler with arguments (CompilerInterface): [debug] -deprecation [debug] -unchecked [debug] -feature [debug] -language:higherKinds,implicitConversions [debug] -d [debug] /Users/asloane/Projects/Kiama/repos/kiama/target/scala-2.10/classes [debug] -bootclasspath [debug] /Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/resources.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/rt.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/sunrsasign.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/jsse.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/jce.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/charsets.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/jfr.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/JObjC.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/classes:/Users/asloane/.sbt/boot/scala-2.10.1-RC1/lib/scala-library.jar [debug] -classpath [debug] /Users/asloane/Projects/Kiama/repos/kiama/target/scala-2.10/classes:/Users/asloane/.ivy2/cache/jline/jline/jars/jline-1.0.jar [error] [error] while compiling: /Users/asloane/Projects/Kiama/repos/kiama/src/org/kiama/rewriting/Rewriter.scala [error] during phase: typer [error] library version: version 2.10.1-RC1 [error] compiler version: version 2.10.1-RC1 [error] reconstructed args: -language:higherKinds -language:implicitConversions -classpath /Users/asloane/Projects/Kiama/repos/kiama/target/scala-2.10/classes:/Users/asloane/.ivy2/cache/jline/jline/jars/jline-1.0.jar -deprecation -d /Users/asloane/Projects/Kiama/repos/kiama/target/scala-2.10/classes -bootclasspath /Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/resources.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/rt.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/sunrsasign.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/jsse.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/jce.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/charsets.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/jfr.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/lib/JObjC.jar:/Library/Java/JavaVirtualMachines/jdk1.7.0_11.jdk/Contents/Home/jre/classes:/Users/asloane/.sbt/boot/scala-2.10.1-RC1/lib/scala-library.jar -feature -unchecked [error] [error] last tree to typer: TypeApply [error] symbol: (flags: ) [error] symbol definition: [error] symbol owners: [error] context owners: value cbf -> method childSeq -> anonymous class $anon -> method child -> trait Rewriter -> package rewriting [error] [error] == Enclosing template or block == [error] [error] DefDef( // private def childSeq[CC[U] <: Seq[U]](t: CC[Rewriter.this.Term])(implicit cbf: scala.collection.generic.CanBuildFrom[CC[Rewriter.this.Term],Rewriter.this.Term,CC[Rewriter.this.Term]]): Option[CC[Rewriter.this.Term]] [error] private [error] "childSeq" [error] TypeDef( // CC[U] <: Seq[U] [error] [error] "CC" [error] TypeDef( // U [error] [error] "U" [error] [] [error] TypeBoundsTree( [error] "_root_"."scala"."Nothing" [error] "_root_"."scala"."Any" [error] ) [error] ) [error] TypeBoundsTree( [error] "_root_"."scala"."Nothing" [error] AppliedTypeTree( [error] "Seq" [error] "U" // U, tree.tpe=U [error] ) [error] ) [error] ) [error] // 2 parameter lists [error] ValDef( // t: CC[Rewriter.this.Term] [error] [error] "t" [error] AppliedTypeTree( // CC[U] <: Seq[U] [error] "CC" // CC[U] <: Seq[U], tree.tpe=CC [error] "Term" [error] ) [error] [error] ) [error] ValDef( // implicit cbf: scala.collection.generic.CanBuildFrom[CC[Rewriter.this.Term],Rewriter.this.Term,CC[Rewriter.this.Term]] [error] implicit [error] "cbf" [error] AppliedTypeTree( [error] "CanBuildFrom" [error] // 3 arguments [error] AppliedTypeTree( // CC[U] <: Seq[U] [error] "CC" // CC[U] <: Seq[U], tree.tpe=CC [error] "Term" [error] ) [error] "Term" [error] AppliedTypeTree( // CC[U] <: Seq[U] [error] "CC" // CC[U] <: Seq[U], tree.tpe=CC [error] "Term" [error] ) [error] ) [error] [error] ) [error] AppliedTypeTree( [error] "Option" [error] AppliedTypeTree( // CC[U] <: Seq[U] [error] "CC" // CC[U] <: Seq[U], tree.tpe=CC [error] "Term" [error] ) [error] ) [error] Block( [error] ValDef( [error] 0 [error] "numchildren" [error] [error] "t"."size" [error] ) [error] If( [error] Apply( [error] i.$less(1)."$bar$bar" [error] Apply( [error] "i"."$greater" [error] "numchildren" [error] ) [error] ) [error] "None" [error] Block( [error] ValDef( [error] 0 [error] "ct" [error] [error] Apply( [error] "t" [error] Apply( [error] "i"."$minus" [error] 1 [error] ) [error] ) [error] ) [error] Match( [error] Apply( [error] "s" [error] "ct" [error] ) [error] // 3 cases [error] CaseDef( [error] Apply( [error] "Some" [error] Bind( [error] "ti" [error] "_" [error] ) [error] ) [error] Apply( [error] "same" [error] // 2 arguments [error] "ct" [error] "ti" [error] ) [error] Apply( [error] "Some" [error] "t" [error] ) [error] ) [error] CaseDef( [error] Apply( [error] "Some" [error] Bind( [error] "ti" [error] "_" [error] ) [error] ) [error] Block( [error] // 7 statements [error] ValDef( [error] 0 [error] "b" [error] [error] Apply( [error] "cbf" [error] "t" [error] ) [error] ) [error] Apply( [error] "b"."sizeHint" [error] "t"."size" [error] ) [error] ValDef( [error] [error] "j" [error] [error] 0 [error] ) [error] LabelDef( [error] () [error] If( [error] Apply( [error] "j"."$less" [error] Apply( [error] "i"."$minus" [error] 1 [error] ) [error] ) [error] Block( [error] Block( [error] Apply( [error] "b"."$plus$eq" [error] Apply( [error] "t" [error] "j" [error] ) [error] ) [error] Assign( [error] "j" [error] Apply( [error] "j"."$plus" [error] 1 [error] ) [error] ) [error] ) [error] Apply( [error] "while$2" [error] Nil [error] ) [error] ) [error] () [error] ) [error] ) [error] Apply( [error] "b"."$plus$eq" [error] "ti" [error] ) [error] Assign( [error] "j" [error] Apply( [error] "j"."$plus" [error] 1 [error] ) [error] ) [error] LabelDef( [error] () [error] If( [error] Apply( [error] "j"."$less" [error] "numchildren" [error] ) [error] Block( [error] Block( [error] Apply( [error] "b"."$plus$eq" [error] Apply( [error] "t" [error] "j" [error] ) [error] ) [error] Assign( [error] "j" [error] Apply( [error] "j"."$plus" [error] 1 [error] ) [error] ) [error] ) [error] Apply( [error] "while$3" [error] Nil [error] ) [error] ) [error] () [error] ) [error] ) [error] Apply( [error] "Some" [error] "b"."result" [error] ) [error] ) [error] ) [error] CaseDef( [error] "None" [error] "None" [error] ) [error] ) [error] ) [error] ) [error] ) [error] ) [error]