japgolly
commented
8 years ago Hey @slandelle, yeah no worries but I'm super busy so I'll need a PR.
Closed slandelle closed 7 years ago
japgolly
commented
8 years ago Hey @slandelle, yeah no worries but I'm super busy so I'll need a PR.
slandelle
commented
8 years ago Sadly, I realize that you depend on Monocle, which isn't cross-published for Scala 2.12 milestones either.
I've already contributed similar support to other libraries, but I can't migrate half of the Scala ecosystem by myself... I guess I'll give up for now and wait for more libraries to do the move on their own. Feel free to close if you want, or wait some time so other dependencies do this move si it's easier for me to contribute.
japgolly
commented
7 years ago 2.12 branch: https://github.com/japgolly/nyaya/tree/topic/scala-2.12
Getting failures at compile-time:
[info] Compiling 5 Scala sources to /home/golly/projects/nyaya/nyaya-util/target/jvm/scala-2.12.0-RC2/classes...
[info] Done updating.
[info] Updating {file:/home/golly/projects/nyaya/}nyaya-gen-jvm...
[info] Done updating.
[info] Updating {file:/home/golly/projects/nyaya/}nyaya-prop-js...
[info] Updating {file:/home/golly/projects/nyaya/}nyaya-gen-js...
[info] Updating {file:/home/golly/projects/nyaya/}nyaya-prop-jvm...
[info] Compiling 5 Scala sources to /home/golly/projects/nyaya/nyaya-util/target/js/scala-2.12.0-RC2/classes...
[info] Done updating.
[info] Done updating.
[info] Done updating.
[info] Done updating.
[info] Updating {file:/home/golly/projects/nyaya/}nyaya-test-jvm...
[info] Updating {file:/home/golly/projects/nyaya/}nyaya-test-js...
[info] Done updating.
[info] Updating {file:/home/golly/projects/nyaya/}benchmark...
[info] Done updating.
[info] Done updating.
[info] Compiling 10 Scala sources to /home/golly/projects/nyaya/nyaya-gen/target/jvm/scala-2.12.0-RC2/classes...
[info] Compiling 6 Scala sources to /home/golly/projects/nyaya/nyaya-prop/target/jvm/scala-2.12.0-RC2/classes...
[info] Compiling 6 Scala sources to /home/golly/projects/nyaya/nyaya-prop/target/js/scala-2.12.0-RC2/classes...
[info] Compiling 10 Scala sources to /home/golly/projects/nyaya/nyaya-gen/target/js/scala-2.12.0-RC2/classes...
[info] Compiling 2 Scala sources to /home/golly/projects/nyaya/nyaya-prop/target/jvm/scala-2.12.0-RC2/test-classes...
[info] Compiling 2 Scala sources to /home/golly/projects/nyaya/nyaya-prop/target/js/scala-2.12.0-RC2/test-classes...
[info] Compiling 9 Scala sources to /home/golly/projects/nyaya/nyaya-test/target/jvm/scala-2.12.0-RC2/classes...
[info] Compiling 1 Scala source to /home/golly/projects/nyaya/nyaya-gen/target/jvm/scala-2.12.0-RC2/test-classes...
java.lang.AssertionError: assertion failed:
Cannot create ClassBType from non-class symbol type Prop
while compiling: /home/golly/projects/nyaya/nyaya-prop/src/test/scala/nyaya/prop/PropTest.scala
during phase: jvm
library version: version 2.12.0-RC2
compiler version: version 2.12.0-RC2
reconstructed args: -deprecation -language:postfixOps -language:implicitConversions -language:higherKinds -language:existentials -feature -classpath /home/golly/projects/nyaya/nyaya-prop/target/jvm/scala-2.12.0-RC2/test-classes:/home/golly/projects/nyaya/nyaya-prop/target/jvm/scala-2.12.0-RC2/classes:/home/golly/projects/nyaya/nyaya-util/target/jvm/scala-2.12.0-RC2/classes:/home/golly/.ivy2/cache/org.scalaz/scalaz-core_2.12.0-RC2/bundles/scalaz-core_2.12.0-RC2-7.2.6.jar:/home/golly/.ivy2/cache/com.lihaoyi/utest_2.12.0-RC2/jars/utest_2.12.0-RC2-0.4.4.jar:/home/golly/.ivy2/cache/org.scala-sbt/test-interface/jars/test-interface-1.0.jar:/home/golly/.ivy2/cache/org.scala-lang/scala-reflect/jars/scala-reflect-2.12.0-RC2.jar -bootclasspath /usr/lib/jvm/java-8-jdk/jre/lib/resources.jar:/usr/lib/jvm/java-8-jdk/jre/lib/rt.jar:/usr/lib/jvm/java-8-jdk/jre/lib/sunrsasign.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jsse.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jce.jar:/usr/lib/jvm/java-8-jdk/jre/lib/charsets.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jfr.jar:/usr/lib/jvm/java-8-jdk/jre/classes:/home/golly/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.12.0-RC2.jar -unchecked
last tree to typer: TypeTree(class Array)
tree position: line 107 of /home/golly/projects/nyaya/nyaya-prop/src/test/scala/nyaya/prop/PropTest.scala
tree tpe: Array[Object]
symbol: final class Array in package scala
symbol definition: final class Array[T] extends Object (a ClassSymbol)
symbol package: scala
symbol owners: class Array
call site: constructor PropTest$Yay$4 in object PropTest$Yay$4 in package prop
== Source file context for tree position ==
104 val conF = failSimple("(even ∧ mod3 ∧ mod5)")
105
106 override def tests = TestSuite {
107 'atom {
108 test(even, 2, ok)
109 test(even, 3, evenF)
110 }
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.classBTypeFromSymbol(BTypesFromSymbols.scala:110)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.buildNestedInfo(BTypesFromSymbols.scala:486)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.setClassInfo(BTypesFromSymbols.scala:442)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.$anonfun$classBTypeFromSymbol$5(BTypesFromSymbols.scala:126)
at scala.collection.concurrent.TrieMap.getOrElse(TrieMap.scala:631)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.classBTypeFromSymbol(BTypesFromSymbols.scala:118)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.$anonfun$typeToBType$1(BTypesFromSymbols.scala:177)
at scala.collection.AbstractMap.getOrElse(Map.scala:59)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.primitiveOrClassToBType$1(BTypesFromSymbols.scala:177)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.typeToBType(BTypesFromSymbols.scala:192)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.tpeTK(BCodeSkelBuilder.scala:79)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoad(BCodeBodyBuilder.scala:251)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoadQualifier(BCodeBodyBuilder.scala:905)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genApply(BCodeBodyBuilder.scala:669)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoad(BCodeBodyBuilder.scala:298)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoad(BCodeBodyBuilder.scala:272)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genStat(BCodeBodyBuilder.scala:82)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.$anonfun$genBlock$1(BCodeBodyBuilder.scala:817)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genBlock(BCodeBodyBuilder.scala:817)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoad(BCodeBodyBuilder.scala:364)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.emitNormalMethodBody$1(BCodeSkelBuilder.scala:604)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.genDefDef(BCodeSkelBuilder.scala:636)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.gen(BCodeSkelBuilder.scala:510)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.$anonfun$gen$7(BCodeSkelBuilder.scala:512)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.gen(BCodeSkelBuilder.scala:512)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.genPlainClass(BCodeSkelBuilder.scala:113)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase$Worker1.visit(GenBCode.scala:190)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase$Worker1.$anonfun$run$1(GenBCode.scala:139)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase$Worker1.run(GenBCode.scala:139)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase.buildAndSendToDisk(GenBCode.scala:381)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase.run(GenBCode.scala:350)
at scala.tools.nsc.Global$Run.compileUnitsInternal(Global.scala:1404)
at scala.tools.nsc.Global$Run.compileUnits(Global.scala:1389)
at scala.tools.nsc.Global$Run.compileSources(Global.scala:1384)
at scala.tools.nsc.Global$Run.compile(Global.scala:1478)
at xsbt.CachedCompiler0.run(CompilerInterface.scala:116)
at xsbt.CachedCompiler0.run(CompilerInterface.scala:95)
at xsbt.CompilerInterface.run(CompilerInterface.scala:26)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at sbt.compiler.AnalyzingCompiler.call(AnalyzingCompiler.scala:101)
at sbt.compiler.AnalyzingCompiler.compile(AnalyzingCompiler.scala:47)
at sbt.compiler.AnalyzingCompiler.compile(AnalyzingCompiler.scala:41)
at sbt.compiler.MixedAnalyzingCompiler$$anonfun$compileScala$1$1.apply$mcV$sp(MixedAnalyzingCompiler.scala:50)
at sbt.compiler.MixedAnalyzingCompiler$$anonfun$compileScala$1$1.apply(MixedAnalyzingCompiler.scala:50)
at sbt.compiler.MixedAnalyzingCompiler$$anonfun$compileScala$1$1.apply(MixedAnalyzingCompiler.scala:50)
at sbt.compiler.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:74)
at sbt.compiler.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:49)
at sbt.compiler.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:64)
at sbt.compiler.IC$$anonfun$compileInternal$1.apply(IncrementalCompiler.scala:160)
at sbt.compiler.IC$$anonfun$compileInternal$1.apply(IncrementalCompiler.scala:160)
at sbt.inc.IncrementalCompile$$anonfun$doCompile$1.apply(Compile.scala:66)
at sbt.inc.IncrementalCompile$$anonfun$doCompile$1.apply(Compile.scala:64)
at sbt.inc.IncrementalCommon.cycle(IncrementalCommon.scala:32)
at sbt.inc.Incremental$$anonfun$1.apply(Incremental.scala:72)
at sbt.inc.Incremental$$anonfun$1.apply(Incremental.scala:71)
at sbt.inc.Incremental$.manageClassfiles(Incremental.scala:99)
at sbt.inc.Incremental$.compile(Incremental.scala:71)
at sbt.inc.IncrementalCompile$.apply(Compile.scala:54)
at sbt.compiler.IC$.compileInternal(IncrementalCompiler.scala:160)
at sbt.compiler.IC$.incrementalCompile(IncrementalCompiler.scala:138)
at sbt.Compiler$.compile(Compiler.scala:152)
at sbt.Compiler$.compile(Compiler.scala:138)
at sbt.Defaults$.sbt$Defaults$$compileIncrementalTaskImpl(Defaults.scala:860)
at sbt.Defaults$$anonfun$compileIncrementalTask$1.apply(Defaults.scala:851)
at sbt.Defaults$$anonfun$compileIncrementalTask$1.apply(Defaults.scala:849)
at scala.Function1$$anonfun$compose$1.apply(Function1.scala:47)
at sbt.$tilde$greater$$anonfun$$u2219$1.apply(TypeFunctions.scala:40)
at sbt.std.Transform$$anon$4.work(System.scala:63)
at sbt.Execute$$anonfun$submit$1$$anonfun$apply$1.apply(Execute.scala:228)
at sbt.Execute$$anonfun$submit$1$$anonfun$apply$1.apply(Execute.scala:228)
at sbt.ErrorHandling$.wideConvert(ErrorHandling.scala:17)
at sbt.Execute.work(Execute.scala:237)
at sbt.Execute$$anonfun$submit$1.apply(Execute.scala:228)
at sbt.Execute$$anonfun$submit$1.apply(Execute.scala:228)
at sbt.ConcurrentRestrictions$$anon$4$$anonfun$1.apply(ConcurrentRestrictions.scala:159)
at sbt.CompletionService$$anon$2.call(CompletionService.scala:28)
at java.util.concurrent.FutureTask.run(FutureTask.java:266)
at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
at java.util.concurrent.FutureTask.run(FutureTask.java:266)
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
at java.lang.Thread.run(Thread.java:745)
[error] Error while emitting PropTest.scala
[error] assertion failed:
[error] Cannot create ClassBType from non-class symbol type Prop
[error] while compiling: /home/golly/projects/nyaya/nyaya-prop/src/test/scala/nyaya/prop/PropTest.scala
[error] during phase: jvm
[error] library version: version 2.12.0-RC2
[error] compiler version: version 2.12.0-RC2
[error] reconstructed args: -deprecation -language:postfixOps -language:implicitConversions -language:higherKinds -language:existentials -feature -classpath /home/golly/projects/nyaya/nyaya-prop/target/jvm/scala-2.12.0-RC2/test-classes:/home/golly/projects/nyaya/nyaya-prop/target/jvm/scala-2.12.0-RC2/classes:/home/golly/projects/nyaya/nyaya-util/target/jvm/scala-2.12.0-RC2/classes:/home/golly/.ivy2/cache/org.scalaz/scalaz-core_2.12.0-RC2/bundles/scalaz-core_2.12.0-RC2-7.2.6.jar:/home/golly/.ivy2/cache/com.lihaoyi/utest_2.12.0-RC2/jars/utest_2.12.0-RC2-0.4.4.jar:/home/golly/.ivy2/cache/org.scala-sbt/test-interface/jars/test-interface-1.0.jar:/home/golly/.ivy2/cache/org.scala-lang/scala-reflect/jars/scala-reflect-2.12.0-RC2.jar -bootclasspath /usr/lib/jvm/java-8-jdk/jre/lib/resources.jar:/usr/lib/jvm/java-8-jdk/jre/lib/rt.jar:/usr/lib/jvm/java-8-jdk/jre/lib/sunrsasign.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jsse.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jce.jar:/usr/lib/jvm/java-8-jdk/jre/lib/charsets.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jfr.jar:/usr/lib/jvm/java-8-jdk/jre/classes:/home/golly/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.12.0-RC2.jar -unchecked
[error]
[error] last tree to typer: TypeTree(class Array)
[error] tree position: line 107 of /home/golly/projects/nyaya/nyaya-prop/src/test/scala/nyaya/prop/PropTest.scala
[error] tree tpe: Array[Object]
[error] symbol: final class Array in package scala
[error] symbol definition: final class Array[T] extends Object (a ClassSymbol)
[error] symbol package: scala
[error] symbol owners: class Array
[error] call site: constructor PropTest$Yay$4 in object PropTest$Yay$4 in package prop
[error]
[error] == Source file context for tree position ==
[error]
[error] 104 val conF = failSimple("(even ∧ mod3 ∧ mod5)")
[error] 105
[error] 106 override def tests = TestSuite {
[error] 107 'atom {
[error] 108 test(even, 2, ok)
[error] 109 test(even, 3, evenF)
[error] 110 }
[error] one error found
[info] Compiling 8 Scala sources to /home/golly/projects/nyaya/nyaya-test/target/js/scala-2.12.0-RC2/classes...
[info] Compiling 1 Scala source to /home/golly/projects/nyaya/nyaya-gen/target/js/scala-2.12.0-RC2/test-classes...
java.lang.AssertionError: assertion failed:
Cannot create ClassBType from non-class symbol type Prop
while compiling: /home/golly/projects/nyaya/nyaya-prop/src/test/scala/nyaya/prop/PropTest.scala
during phase: jvm
library version: version 2.12.0-RC2
compiler version: version 2.12.0-RC2
reconstructed args: -Xplugin:/home/golly/.ivy2/cache/org.scala-js/scalajs-compiler_2.12.0-RC2/jars/scalajs-compiler_2.12.0-RC2-0.6.13.jar -deprecation -language:postfixOps -language:implicitConversions -language:higherKinds -language:existentials -feature -classpath /home/golly/projects/nyaya/nyaya-prop/target/js/scala-2.12.0-RC2/test-classes:/home/golly/projects/nyaya/nyaya-prop/target/js/scala-2.12.0-RC2/classes:/home/golly/projects/nyaya/nyaya-util/target/js/scala-2.12.0-RC2/classes:/home/golly/.ivy2/cache/org.scalaz/scalaz-core_sjs0.6_2.12.0-RC2/bundles/scalaz-core_sjs0.6_2.12.0-RC2-7.2.6.jar:/home/golly/.ivy2/cache/com.lihaoyi/utest_sjs0.6_2.12.0-RC2/jars/utest_sjs0.6_2.12.0-RC2-0.4.4.jar:/home/golly/.ivy2/cache/org.scala-js/scalajs-test-interface_2.12.0-RC2/jars/scalajs-test-interface_2.12.0-RC2-0.6.13.jar:/home/golly/.ivy2/cache/org.scala-lang/scala-reflect/jars/scala-reflect-2.12.0-RC2.jar:/home/golly/.ivy2/cache/org.scala-js/scalajs-library_2.12.0-RC2/jars/scalajs-library_2.12.0-RC2-0.6.13.jar -bootclasspath /usr/lib/jvm/java-8-jdk/jre/lib/resources.jar:/usr/lib/jvm/java-8-jdk/jre/lib/rt.jar:/usr/lib/jvm/java-8-jdk/jre/lib/sunrsasign.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jsse.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jce.jar:/usr/lib/jvm/java-8-jdk/jre/lib/charsets.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jfr.jar:/usr/lib/jvm/java-8-jdk/jre/classes:/home/golly/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.12.0-RC2.jar -unchecked
last tree to typer: TypeTree(class Array)
tree position: line 107 of /home/golly/projects/nyaya/nyaya-prop/src/test/scala/nyaya/prop/PropTest.scala
tree tpe: Array[Object]
symbol: final class Array in package scala
symbol definition: final class Array[T] extends Object (a ClassSymbol)
symbol package: scala
symbol owners: class Array
call site: constructor PropTest$Yay$4 in object PropTest$Yay$4 in package prop
== Source file context for tree position ==
104 val conF = failSimple("(even ∧ mod3 ∧ mod5)")
105
106 override def tests = TestSuite {
107 'atom {
108 test(even, 2, ok)
109 test(even, 3, evenF)
110 }
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.classBTypeFromSymbol(BTypesFromSymbols.scala:110)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.buildNestedInfo(BTypesFromSymbols.scala:486)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.setClassInfo(BTypesFromSymbols.scala:442)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.$anonfun$classBTypeFromSymbol$5(BTypesFromSymbols.scala:126)
at scala.collection.concurrent.TrieMap.getOrElse(TrieMap.scala:631)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.classBTypeFromSymbol(BTypesFromSymbols.scala:118)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.$anonfun$typeToBType$1(BTypesFromSymbols.scala:177)
at scala.collection.AbstractMap.getOrElse(Map.scala:59)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.primitiveOrClassToBType$1(BTypesFromSymbols.scala:177)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.typeToBType(BTypesFromSymbols.scala:192)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.tpeTK(BCodeSkelBuilder.scala:79)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoad(BCodeBodyBuilder.scala:251)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoadQualifier(BCodeBodyBuilder.scala:905)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genApply(BCodeBodyBuilder.scala:669)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoad(BCodeBodyBuilder.scala:298)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoad(BCodeBodyBuilder.scala:272)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genStat(BCodeBodyBuilder.scala:82)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.$anonfun$genBlock$1(BCodeBodyBuilder.scala:817)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genBlock(BCodeBodyBuilder.scala:817)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoad(BCodeBodyBuilder.scala:364)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.emitNormalMethodBody$1(BCodeSkelBuilder.scala:604)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.genDefDef(BCodeSkelBuilder.scala:636)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.gen(BCodeSkelBuilder.scala:510)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.$anonfun$gen$7(BCodeSkelBuilder.scala:512)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.gen(BCodeSkelBuilder.scala:512)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.genPlainClass(BCodeSkelBuilder.scala:113)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase$Worker1.visit(GenBCode.scala:190)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase$Worker1.$anonfun$run$1(GenBCode.scala:139)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase$Worker1.run(GenBCode.scala:139)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase.buildAndSendToDisk(GenBCode.scala:381)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase.run(GenBCode.scala:350)
at scala.tools.nsc.Global$Run.compileUnitsInternal(Global.scala:1404)
at scala.tools.nsc.Global$Run.compileUnits(Global.scala:1389)
at scala.tools.nsc.Global$Run.compileSources(Global.scala:1384)
at scala.tools.nsc.Global$Run.compile(Global.scala:1478)
at xsbt.CachedCompiler0.run(CompilerInterface.scala:116)
at xsbt.CachedCompiler0.run(CompilerInterface.scala:95)
at xsbt.CompilerInterface.run(CompilerInterface.scala:26)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at sbt.compiler.AnalyzingCompiler.call(AnalyzingCompiler.scala:101)
at sbt.compiler.AnalyzingCompiler.compile(AnalyzingCompiler.scala:47)
at sbt.compiler.AnalyzingCompiler.compile(AnalyzingCompiler.scala:41)
at sbt.compiler.MixedAnalyzingCompiler$$anonfun$compileScala$1$1.apply$mcV$sp(MixedAnalyzingCompiler.scala:50)
at sbt.compiler.MixedAnalyzingCompiler$$anonfun$compileScala$1$1.apply(MixedAnalyzingCompiler.scala:50)
at sbt.compiler.MixedAnalyzingCompiler$$anonfun$compileScala$1$1.apply(MixedAnalyzingCompiler.scala:50)
at sbt.compiler.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:74)
at sbt.compiler.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:49)
at sbt.compiler.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:64)
at sbt.compiler.IC$$anonfun$compileInternal$1.apply(IncrementalCompiler.scala:160)
at sbt.compiler.IC$$anonfun$compileInternal$1.apply(IncrementalCompiler.scala:160)
at sbt.inc.IncrementalCompile$$anonfun$doCompile$1.apply(Compile.scala:66)
at sbt.inc.IncrementalCompile$$anonfun$doCompile$1.apply(Compile.scala:64)
at sbt.inc.IncrementalCommon.cycle(IncrementalCommon.scala:32)
at sbt.inc.Incremental$$anonfun$1.apply(Incremental.scala:72)
at sbt.inc.Incremental$$anonfun$1.apply(Incremental.scala:71)
at sbt.inc.Incremental$.manageClassfiles(Incremental.scala:99)
at sbt.inc.Incremental$.compile(Incremental.scala:71)
at sbt.inc.IncrementalCompile$.apply(Compile.scala:54)
at sbt.compiler.IC$.compileInternal(IncrementalCompiler.scala:160)
at sbt.compiler.IC$.incrementalCompile(IncrementalCompiler.scala:138)
at sbt.Compiler$.compile(Compiler.scala:152)
at sbt.Compiler$.compile(Compiler.scala:138)
at sbt.Defaults$.sbt$Defaults$$compileIncrementalTaskImpl(Defaults.scala:860)
at sbt.Defaults$$anonfun$compileIncrementalTask$1.apply(Defaults.scala:851)
at sbt.Defaults$$anonfun$compileIncrementalTask$1.apply(Defaults.scala:849)
at scala.Function1$$anonfun$compose$1.apply(Function1.scala:47)
at sbt.$tilde$greater$$anonfun$$u2219$1.apply(TypeFunctions.scala:40)
at sbt.std.Transform$$anon$4.work(System.scala:63)
at sbt.Execute$$anonfun$submit$1$$anonfun$apply$1.apply(Execute.scala:228)
at sbt.Execute$$anonfun$submit$1$$anonfun$apply$1.apply(Execute.scala:228)
at sbt.ErrorHandling$.wideConvert(ErrorHandling.scala:17)
at sbt.Execute.work(Execute.scala:237)
at sbt.Execute$$anonfun$submit$1.apply(Execute.scala:228)
at sbt.Execute$$anonfun$submit$1.apply(Execute.scala:228)
at sbt.ConcurrentRestrictions$$anon$4$$anonfun$1.apply(ConcurrentRestrictions.scala:159)
at sbt.CompletionService$$anon$2.call(CompletionService.scala:28)
at java.util.concurrent.FutureTask.run(FutureTask.java:266)
at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
at java.util.concurrent.FutureTask.run(FutureTask.java:266)
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
at java.lang.Thread.run(Thread.java:745)
[error] Error while emitting PropTest.scala
[error] assertion failed:
[error] Cannot create ClassBType from non-class symbol type Prop
[error] while compiling: /home/golly/projects/nyaya/nyaya-prop/src/test/scala/nyaya/prop/PropTest.scala
[error] during phase: jvm
[error] library version: version 2.12.0-RC2
[error] compiler version: version 2.12.0-RC2
[error] reconstructed args: -Xplugin:/home/golly/.ivy2/cache/org.scala-js/scalajs-compiler_2.12.0-RC2/jars/scalajs-compiler_2.12.0-RC2-0.6.13.jar -deprecation -language:postfixOps -language:implicitConversions -language:higherKinds -language:existentials -feature -classpath /home/golly/projects/nyaya/nyaya-prop/target/js/scala-2.12.0-RC2/test-classes:/home/golly/projects/nyaya/nyaya-prop/target/js/scala-2.12.0-RC2/classes:/home/golly/projects/nyaya/nyaya-util/target/js/scala-2.12.0-RC2/classes:/home/golly/.ivy2/cache/org.scalaz/scalaz-core_sjs0.6_2.12.0-RC2/bundles/scalaz-core_sjs0.6_2.12.0-RC2-7.2.6.jar:/home/golly/.ivy2/cache/com.lihaoyi/utest_sjs0.6_2.12.0-RC2/jars/utest_sjs0.6_2.12.0-RC2-0.4.4.jar:/home/golly/.ivy2/cache/org.scala-js/scalajs-test-interface_2.12.0-RC2/jars/scalajs-test-interface_2.12.0-RC2-0.6.13.jar:/home/golly/.ivy2/cache/org.scala-lang/scala-reflect/jars/scala-reflect-2.12.0-RC2.jar:/home/golly/.ivy2/cache/org.scala-js/scalajs-library_2.12.0-RC2/jars/scalajs-library_2.12.0-RC2-0.6.13.jar -bootclasspath /usr/lib/jvm/java-8-jdk/jre/lib/resources.jar:/usr/lib/jvm/java-8-jdk/jre/lib/rt.jar:/usr/lib/jvm/java-8-jdk/jre/lib/sunrsasign.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jsse.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jce.jar:/usr/lib/jvm/java-8-jdk/jre/lib/charsets.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jfr.jar:/usr/lib/jvm/java-8-jdk/jre/classes:/home/golly/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.12.0-RC2.jar -unchecked
[error]
[error] last tree to typer: TypeTree(class Array)
[error] tree position: line 107 of /home/golly/projects/nyaya/nyaya-prop/src/test/scala/nyaya/prop/PropTest.scala
[error] tree tpe: Array[Object]
[error] symbol: final class Array in package scala
[error] symbol definition: final class Array[T] extends Object (a ClassSymbol)
[error] symbol package: scala
[error] symbol owners: class Array
[error] call site: constructor PropTest$Yay$4 in object PropTest$Yay$4 in package prop
[error]
[error] == Source file context for tree position ==
[error]
[error] 104 val conF = failSimple("(even ∧ mod3 ∧ mod5)")
[error] 105
[error] 106 override def tests = TestSuite {
[error] 107 'atom {
[error] 108 test(even, 2, ok)
[error] 109 test(even, 3, evenF)
[error] 110 }
[error] one error found
[info] Compiling 2 Scala sources to /home/golly/projects/nyaya/benchmark/target/scala-2.12.0-RC2/classes...
[info] Compiling 6 Scala sources to /home/golly/projects/nyaya/nyaya-test/target/jvm/scala-2.12.0-RC2/test-classes...
[info] Compiling 5 Scala sources to /home/golly/projects/nyaya/nyaya-test/target/js/scala-2.12.0-RC2/test-classes...
java.lang.AssertionError: assertion failed:
Cannot create ClassBType from non-class symbol type Prop
while compiling: /home/golly/projects/nyaya/nyaya-test/src/test/scala-jvm/nyaya/gen/GenTestJvm.scala
during phase: jvm
library version: version 2.12.0-RC2
compiler version: version 2.12.0-RC2
reconstructed args: -deprecation -language:postfixOps -language:implicitConversions -language:higherKinds -language:existentials -feature -classpath /home/golly/projects/nyaya/nyaya-test/target/jvm/scala-2.12.0-RC2/test-classes:/home/golly/projects/nyaya/nyaya-test/target/jvm/scala-2.12.0-RC2/classes:/home/golly/projects/nyaya/nyaya-prop/target/jvm/scala-2.12.0-RC2/classes:/home/golly/projects/nyaya/nyaya-util/target/jvm/scala-2.12.0-RC2/classes:/home/golly/projects/nyaya/nyaya-gen/target/jvm/scala-2.12.0-RC2/classes:/home/golly/.ivy2/cache/com.lihaoyi/utest_2.12.0-RC2/jars/utest_2.12.0-RC2-0.4.4.jar:/home/golly/.ivy2/cache/com.github.julien-truffaut/monocle-macro_2.12.0-RC2/jars/monocle-macro_2.12.0-RC2-1.3.1.jar:/home/golly/.ivy2/cache/com.github.julien-truffaut/monocle-core_2.12.0-RC2/jars/monocle-core_2.12.0-RC2-1.3.1.jar:/home/golly/.ivy2/cache/org.scala-sbt/test-interface/jars/test-interface-1.0.jar:/home/golly/.ivy2/cache/org.scala-lang/scala-reflect/jars/scala-reflect-2.12.0-RC2.jar:/home/golly/.ivy2/cache/org.typelevel/macro-compat_2.12.0-RC2/jars/macro-compat_2.12.0-RC2-1.1.1.jar:/home/golly/.ivy2/cache/org.scalaz/scalaz-core_2.12.0-RC2/bundles/scalaz-core_2.12.0-RC2-7.2.6.jar -bootclasspath /usr/lib/jvm/java-8-jdk/jre/lib/resources.jar:/usr/lib/jvm/java-8-jdk/jre/lib/rt.jar:/usr/lib/jvm/java-8-jdk/jre/lib/sunrsasign.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jsse.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jce.jar:/usr/lib/jvm/java-8-jdk/jre/lib/charsets.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jfr.jar:/usr/lib/jvm/java-8-jdk/jre/classes:/home/golly/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.12.0-RC2.jar -unchecked
last tree to typer: TypeTree(trait Function1)
tree position: line 83 of /home/golly/projects/nyaya/nyaya-test/src/test/scala/nyaya/util/MultimapTest.scala
tree tpe: Function1
symbol: abstract trait Function1 in package scala
symbol definition: abstract trait Function1 extends Object (a ClassSymbol)
symbol package: scala
symbol owners: trait Function1
call site: constructor MultimapTest$PropInputs in object MultimapTest$PropInputs in package util
== Source file context for tree position ==
80 val genSet : Gen[PropInputs[Set, Int ]] = gen(Gen.int, _.set)
81 val genVector: Gen[PropInputs[Vector, Long]] = gen(Gen.long, _.vector)
82 val genList : Gen[PropInputs[List, Int ]] = gen(Gen.int, _.list)
83
84 override def tests = TestSuite {
85 'list - genList .mustSatisfyE(_.eval)
86 'set - genSet .mustSatisfyE(_.eval)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.classBTypeFromSymbol(BTypesFromSymbols.scala:110)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.buildNestedInfo(BTypesFromSymbols.scala:486)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.setClassInfo(BTypesFromSymbols.scala:442)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.$anonfun$classBTypeFromSymbol$5(BTypesFromSymbols.scala:126)
at scala.collection.concurrent.TrieMap.getOrElse(TrieMap.scala:631)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.classBTypeFromSymbol(BTypesFromSymbols.scala:118)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.$anonfun$typeToBType$1(BTypesFromSymbols.scala:177)
at scala.collection.AbstractMap.getOrElse(Map.scala:59)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.primitiveOrClassToBType$1(BTypesFromSymbols.scala:177)
at scala.tools.nsc.backend.jvm.BTypesFromSymbols.typeToBType(BTypesFromSymbols.scala:192)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.tpeTK(BCodeSkelBuilder.scala:79)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoad(BCodeBodyBuilder.scala:251)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoadQualifier(BCodeBodyBuilder.scala:905)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genApply(BCodeBodyBuilder.scala:669)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoad(BCodeBodyBuilder.scala:298)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoad(BCodeBodyBuilder.scala:272)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genStat(BCodeBodyBuilder.scala:82)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.$anonfun$genBlock$1(BCodeBodyBuilder.scala:817)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genBlock(BCodeBodyBuilder.scala:817)
at scala.tools.nsc.backend.jvm.BCodeBodyBuilder$PlainBodyBuilder.genLoad(BCodeBodyBuilder.scala:364)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.emitNormalMethodBody$1(BCodeSkelBuilder.scala:604)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.genDefDef(BCodeSkelBuilder.scala:636)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.gen(BCodeSkelBuilder.scala:510)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.$anonfun$gen$7(BCodeSkelBuilder.scala:512)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.gen(BCodeSkelBuilder.scala:512)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.genPlainClass(BCodeSkelBuilder.scala:113)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase$Worker1.visit(GenBCode.scala:190)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase$Worker1.$anonfun$run$1(GenBCode.scala:139)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase$Worker1.run(GenBCode.scala:139)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase.buildAndSendToDisk(GenBCode.scala:381)
at scala.tools.nsc.backend.jvm.GenBCode$BCodePhase.run(GenBCode.scala:350)
at scala.tools.nsc.Global$Run.compileUnitsInternal(Global.scala:1404)
at scala.tools.nsc.Global$Run.compileUnits(Global.scala:1389)
at scala.tools.nsc.Global$Run.compileSources(Global.scala:1384)
at scala.tools.nsc.Global$Run.compile(Global.scala:1478)
at xsbt.CachedCompiler0.run(CompilerInterface.scala:116)
at xsbt.CachedCompiler0.run(CompilerInterface.scala:95)
at xsbt.CompilerInterface.run(CompilerInterface.scala:26)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at sbt.compiler.AnalyzingCompiler.call(AnalyzingCompiler.scala:101)
at sbt.compiler.AnalyzingCompiler.compile(AnalyzingCompiler.scala:47)
at sbt.compiler.AnalyzingCompiler.compile(AnalyzingCompiler.scala:41)
at sbt.compiler.MixedAnalyzingCompiler$$anonfun$compileScala$1$1.apply$mcV$sp(MixedAnalyzingCompiler.scala:50)
at sbt.compiler.MixedAnalyzingCompiler$$anonfun$compileScala$1$1.apply(MixedAnalyzingCompiler.scala:50)
at sbt.compiler.MixedAnalyzingCompiler$$anonfun$compileScala$1$1.apply(MixedAnalyzingCompiler.scala:50)
at sbt.compiler.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:74)
at sbt.compiler.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:49)
at sbt.compiler.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:64)
at sbt.compiler.IC$$anonfun$compileInternal$1.apply(IncrementalCompiler.scala:160)
at sbt.compiler.IC$$anonfun$compileInternal$1.apply(IncrementalCompiler.scala:160)
at sbt.inc.IncrementalCompile$$anonfun$doCompile$1.apply(Compile.scala:66)
at sbt.inc.IncrementalCompile$$anonfun$doCompile$1.apply(Compile.scala:64)
at sbt.inc.IncrementalCommon.cycle(IncrementalCommon.scala:32)
at sbt.inc.Incremental$$anonfun$1.apply(Incremental.scala:72)
at sbt.inc.Incremental$$anonfun$1.apply(Incremental.scala:71)
at sbt.inc.Incremental$.manageClassfiles(Incremental.scala:99)
at sbt.inc.Incremental$.compile(Incremental.scala:71)
at sbt.inc.IncrementalCompile$.apply(Compile.scala:54)
at sbt.compiler.IC$.compileInternal(IncrementalCompiler.scala:160)
at sbt.compiler.IC$.incrementalCompile(IncrementalCompiler.scala:138)
at sbt.Compiler$.compile(Compiler.scala:152)
at sbt.Compiler$.compile(Compiler.scala:138)
at sbt.Defaults$.sbt$Defaults$$compileIncrementalTaskImpl(Defaults.scala:860)
at sbt.Defaults$$anonfun$compileIncrementalTask$1.apply(Defaults.scala:851)
at sbt.Defaults$$anonfun$compileIncrementalTask$1.apply(Defaults.scala:849)
at scala.Function1$$anonfun$compose$1.apply(Function1.scala:47)
at sbt.$tilde$greater$$anonfun$$u2219$1.apply(TypeFunctions.scala:40)
at sbt.std.Transform$$anon$4.work(System.scala:63)
at sbt.Execute$$anonfun$submit$1$$anonfun$apply$1.apply(Execute.scala:228)
at sbt.Execute$$anonfun$submit$1$$anonfun$apply$1.apply(Execute.scala:228)
at sbt.ErrorHandling$.wideConvert(ErrorHandling.scala:17)
at sbt.Execute.work(Execute.scala:237)
at sbt.Execute$$anonfun$submit$1.apply(Execute.scala:228)
at sbt.Execute$$anonfun$submit$1.apply(Execute.scala:228)
at sbt.ConcurrentRestrictions$$anon$4$$anonfun$1.apply(ConcurrentRestrictions.scala:159)
at sbt.CompletionService$$anon$2.call(CompletionService.scala:28)
at java.util.concurrent.FutureTask.run(FutureTask.java:266)
at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
at java.util.concurrent.FutureTask.run(FutureTask.java:266)
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
at java.lang.Thread.run(Thread.java:745)
[error] Error while emitting GenTestJvm.scala
[error] assertion failed:
[error] Cannot create ClassBType from non-class symbol type Prop
[error] while compiling: /home/golly/projects/nyaya/nyaya-test/src/test/scala-jvm/nyaya/gen/GenTestJvm.scala
[error] during phase: jvm
[error] library version: version 2.12.0-RC2
[error] compiler version: version 2.12.0-RC2
[error] reconstructed args: -deprecation -language:postfixOps -language:implicitConversions -language:higherKinds -language:existentials -feature -classpath /home/golly/projects/nyaya/nyaya-test/target/jvm/scala-2.12.0-RC2/test-classes:/home/golly/projects/nyaya/nyaya-test/target/jvm/scala-2.12.0-RC2/classes:/home/golly/projects/nyaya/nyaya-prop/target/jvm/scala-2.12.0-RC2/classes:/home/golly/projects/nyaya/nyaya-util/target/jvm/scala-2.12.0-RC2/classes:/home/golly/projects/nyaya/nyaya-gen/target/jvm/scala-2.12.0-RC2/classes:/home/golly/.ivy2/cache/com.lihaoyi/utest_2.12.0-RC2/jars/utest_2.12.0-RC2-0.4.4.jar:/home/golly/.ivy2/cache/com.github.julien-truffaut/monocle-macro_2.12.0-RC2/jars/monocle-macro_2.12.0-RC2-1.3.1.jar:/home/golly/.ivy2/cache/com.github.julien-truffaut/monocle-core_2.12.0-RC2/jars/monocle-core_2.12.0-RC2-1.3.1.jar:/home/golly/.ivy2/cache/org.scala-sbt/test-interface/jars/test-interface-1.0.jar:/home/golly/.ivy2/cache/org.scala-lang/scala-reflect/jars/scala-reflect-2.12.0-RC2.jar:/home/golly/.ivy2/cache/org.typelevel/macro-compat_2.12.0-RC2/jars/macro-compat_2.12.0-RC2-1.1.1.jar:/home/golly/.ivy2/cache/org.scalaz/scalaz-core_2.12.0-RC2/bundles/scalaz-core_2.12.0-RC2-7.2.6.jar -bootclasspath /usr/lib/jvm/java-8-jdk/jre/lib/resources.jar:/usr/lib/jvm/java-8-jdk/jre/lib/rt.jar:/usr/lib/jvm/java-8-jdk/jre/lib/sunrsasign.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jsse.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jce.jar:/usr/lib/jvm/java-8-jdk/jre/lib/charsets.jar:/usr/lib/jvm/java-8-jdk/jre/lib/jfr.jar:/usr/lib/jvm/java-8-jdk/jre/classes:/home/golly/.ivy2/cache/org.scala-lang/scala-library/jars/scala-library-2.12.0-RC2.jar -unchecked
[error]
[error] last tree to typer: TypeTree(trait Function1)
[error] tree position: line 83 of /home/golly/projects/nyaya/nyaya-test/src/test/scala/nyaya/util/MultimapTest.scala
[error] tree tpe: Function1
[error] symbol: abstract trait Function1 in package scala
[error] symbol definition: abstract trait Function1 extends Object (a ClassSymbol)
[error] symbol package: scala
[error] symbol owners: trait Function1
[error] call site: constructor MultimapTest$PropInputs in object MultimapTest$PropInputs in package util
[error]
[error] == Source file context for tree position ==
[error]
[error] 80 val genSet : Gen[PropInputs[Set, Int ]] = gen(Gen.int, _.set)
[error] 81 val genVector: Gen[PropInputs[Vector, Long]] = gen(Gen.long, _.vector)
[error] 82 val genList : Gen[PropInputs[List, Int ]] = gen(Gen.int, _.list)
[error] 83
[error] 84 override def tests = TestSuite {
[error] 85 'list - genList .mustSatisfyE(_.eval)
[error] 86 'set - genSet .mustSatisfyE(_.eval)
[error] one error found
[error] (nyaya-test-jvm/test:compileIncremental) Compilation failed
[error] (nyaya-prop-js/test:compileIncremental) Compilation failed
[error] (nyaya-prop-jvm/test:compileIncremental) Compilation failed
[error] Total time: 28 s, completed 24/10/2016 10:51:53 PM
lrytz
commented
7 years ago @japgolly what do I need to do to reproduce? I cloned git@github.com:japgolly/nyaya.git then ran
➜ nyaya git:(topic/scala-2.12) git lg -n 1 | cat
* 311d888 - (HEAD -> topic/scala-2.12, origin/topic/scala-2.12) Scala 2.12 (43 minutes ago) <David Barri>
➜ nyaya git:(topic/scala-2.12) sbt
[info] Loading global plugins from /Users/luc/.sbt/0.13/plugins
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[info] Loading project definition from /Users/luc/scala/nyaya/project
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[info] Set current project to root (in build file:/Users/luc/scala/nyaya/)
> clean
[success] Total time: 0 s, completed Oct 24, 2016 2:34:04 PM
> compile
[info] Updating {file:/Users/luc/scala/nyaya/}nyaya-gen...
[info] Updating {file:/Users/luc/scala/nyaya/}nyaya-util-jvm...
[info] Updating {file:/Users/luc/scala/nyaya/}root...
[info] Updating {file:/Users/luc/scala/nyaya/}nyaya-util-js...
[info] Updating {file:/Users/luc/scala/nyaya/}nyaya-prop...
[info] Updating {file:/Users/luc/scala/nyaya/}nyaya-util...
[info] Done updating.
[info] Done updating.
[info] Updating {file:/Users/luc/scala/nyaya/}nyaya-test...
[info] Done updating.
[info] Done updating.
[info] Done updating.
[info] Compiling 5 Scala sources to /Users/luc/scala/nyaya/nyaya-util/target/js/scala-2.12.0-RC2/classes...
[info] Done updating.
[info] Updating {file:/Users/luc/scala/nyaya/}nyaya-prop-jvm...
[info] Updating {file:/Users/luc/scala/nyaya/}nyaya-gen-jvm...
[info] Done updating.
[info] Compiling 5 Scala sources to /Users/luc/scala/nyaya/nyaya-util/target/jvm/scala-2.12.0-RC2/classes...
[info] Updating {file:/Users/luc/scala/nyaya/}nyaya-gen-js...
[info] Updating {file:/Users/luc/scala/nyaya/}nyaya-prop-js...
[info] Done updating.
[info] Done updating.
[info] Done updating.
[info] Done updating.
[info] Updating {file:/Users/luc/scala/nyaya/}nyaya-test-jvm...
[info] Updating {file:/Users/luc/scala/nyaya/}nyaya-test-js...
[info] Done updating.
[info] Updating {file:/Users/luc/scala/nyaya/}benchmark...
[info] Done updating.
[info] Done updating.
[info] Compiling 6 Scala sources to /Users/luc/scala/nyaya/nyaya-prop/target/jvm/scala-2.12.0-RC2/classes...
[info] Compiling 10 Scala sources to /Users/luc/scala/nyaya/nyaya-gen/target/jvm/scala-2.12.0-RC2/classes...
[info] Compiling 6 Scala sources to /Users/luc/scala/nyaya/nyaya-prop/target/js/scala-2.12.0-RC2/classes...
[info] Compiling 10 Scala sources to /Users/luc/scala/nyaya/nyaya-gen/target/js/scala-2.12.0-RC2/classes...
[info] Compiling 9 Scala sources to /Users/luc/scala/nyaya/nyaya-test/target/jvm/scala-2.12.0-RC2/classes...
[info] Compiling 8 Scala sources to /Users/luc/scala/nyaya/nyaya-test/target/js/scala-2.12.0-RC2/classes...
[info] Compiling 2 Scala sources to /Users/luc/scala/nyaya/benchmark/target/scala-2.12.0-RC2/classes...
[success] Total time: 16 s, completed Oct 24, 2016 2:34:21 PM@lrytz just sbt test:compile does it.
lrytz
commented
7 years ago Thanks, I'll take a look.
japgolly
commented
7 years ago @lrytz Cheers. Let me know if there's anything I can do. I'm off to bed now but I'll get back to you tomorrow morning.
lrytz
commented
7 years ago Minimized in https://github.com/scala/scala-dev/issues/248
japgolly
commented
7 years ago 0.8.1 released with 2.12.0 support. (I added a workaround until 2.12.1 available.)
Hi @japgolly
Would it be possible to publish cross-built versions so projects depending on nyaya can give Scala 2.12 milestones a try, please?
Regards