-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Commit 5793f90
committed
Disable perspective in CB
perspective now fails with the following stack trace
```
error when pickling type Z
error when pickling type perspective.Const[List[A]][Z]
error when pickling tree perspective.Const[List[A]][Z]
error when pickling tree perspective.FoldableK.this.foldMapK[([_] =>> A), C](fa)[
perspective.Const[List[A]][Z]
]
error when pickling tree perspective.FoldableK.this.foldMapK[([_] =>> A), C](fa)[
perspective.Const[List[A]][Z]
](
perspective.FunctionK.liftConst[A, List[A]](
{
def $anonfun(_$5: A): List[A] = List.apply[A]([_$5:A : A]*)
closure($anonfun)
}
)
)
error when pickling tree perspective.FoldableK.this.foldMapK[([_] =>> A), C](fa)[
perspective.Const[List[A]][Z]
](
perspective.FunctionK.liftConst[A, List[A]](
{
def $anonfun(_$5: A): List[A] = List.apply[A]([_$5:A : A]*)
closure($anonfun)
}
)
)(cats.kernel.Semigroup.catsKernelMonoidForList[A])
error when pickling tree extension [A >: Nothing <: Any, C >: Nothing <: Any](
fa: FoldableK.this.F[perspective.Const[A], C]
) def toListK: List[A] =
this.foldMapK[([_] =>> A), C](fa)[perspective.Const[List[A]][Z]](
perspective.FunctionK.liftConst[A, List[A]](
{
def $anonfun(_$5: A): List[A] = List.apply[A]([_$5:A : A]*)
closure($anonfun)
}
)
)(cats.kernel.Semigroup.catsKernelMonoidForList[A])
error when pickling tree [
F[_[_ >: Nothing <: Any] >: Nothing <: Any, _ >: Nothing <: Any]
>: Nothing <: Any
]() extends Object {
F[_$1[_$2],_$3]
extension [A[_ >: Nothing <: Any] >: Nothing <: Any, C >: Nothing <: Any](
fa: FoldableK.this.F[A, C]
) def foldLeftK[B >: Nothing <: Any](b: B)(f: B => A ~>#: B): B
extension [A[_ >: Nothing <: Any] >: Nothing <: Any, C >: Nothing <: Any](
fa: FoldableK.this.F[A, C]
) def foldMapK[B >: Nothing <: Any](f: perspective.~>#:[A, B])(using
B: cats.Monoid[B]
): B =
this.foldLeftK[A, C](fa)[B](B.empty)(
{
def $anonfun(b: B): A ~>#: B =
{
final class $anon() extends Object(), PolyFunction {
def apply[Z >: Nothing <: Any](az: A[Z]): B =
cats.syntax.all.catsSyntaxSemigroup[B](b)(B).combine(
f.apply[Z](az)
)
}
new $anon():([Z] => (A[Z]) => B)
}
closure($anonfun)
}
)
extension [A >: Nothing <: Any, C >: Nothing <: Any](
fa: FoldableK.this.F[perspective.Const[A], C]
) def toListK: List[A] =
this.foldMapK[([_] =>> A), C](fa)[perspective.Const[List[A]][Z]](
perspective.FunctionK.liftConst[A, List[A]](
{
def $anonfun(_$5: A): List[A] = List.apply[A]([_$5:A : A]*)
closure($anonfun)
}
)
)(cats.kernel.Semigroup.catsKernelMonoidForList[A])
}
error when pickling tree @sourcefile("dotty/perspective/src/main/scala/perspective/FoldableK.scala")
trait
FoldableK[
F[_[_ >: Nothing <: Any] >: Nothing <: Any, _ >: Nothing <: Any]
>: Nothing <: Any
]() extends Object {
F[_$1[_$2],_$3]
extension [A[_ >: Nothing <: Any] >: Nothing <: Any, C >: Nothing <: Any](
fa: FoldableK.this.F[A, C]
) def foldLeftK[B >: Nothing <: Any](b: B)(f: B => A ~>#: B): B
extension [A[_ >: Nothing <: Any] >: Nothing <: Any, C >: Nothing <: Any](
fa: FoldableK.this.F[A, C]
) def foldMapK[B >: Nothing <: Any](f: perspective.~>#:[A, B])(using
B: cats.Monoid[B]
): B =
this.foldLeftK[A, C](fa)[B](B.empty)(
{
def $anonfun(b: B): A ~>#: B =
{
final class $anon() extends Object(), PolyFunction {
def apply[Z >: Nothing <: Any](az: A[Z]): B =
cats.syntax.all.catsSyntaxSemigroup[B](b)(B).combine(
f.apply[Z](az)
)
}
new $anon():([Z] => (A[Z]) => B)
}
closure($anonfun)
}
)
extension [A >: Nothing <: Any, C >: Nothing <: Any](
fa: FoldableK.this.F[perspective.Const[A], C]
) def toListK: List[A] =
this.foldMapK[([_] =>> A), C](fa)[perspective.Const[List[A]][Z]](
perspective.FunctionK.liftConst[A, List[A]](
{
def $anonfun(_$5: A): List[A] = List.apply[A]([_$5:A : A]*)
closure($anonfun)
}
)
)(cats.kernel.Semigroup.catsKernelMonoidForList[A])
}
error when pickling tree package perspective {
import cats.*
import cats.syntax.package.all.*
import scala.language.implicitConversions
@sourcefile("dotty/perspective/src/main/scala/perspective/FoldableK.scala")
trait
FoldableK[
F[_[_ >: Nothing <: Any] >: Nothing <: Any, _ >: Nothing <: Any]
>: Nothing <: Any
]() extends Object {
F[_$1[_$2],_$3]
extension [A[_ >: Nothing <: Any] >: Nothing <: Any, C >: Nothing <: Any](
fa: FoldableK.this.F[A, C]
) def foldLeftK[B >: Nothing <: Any](b: B)(f: B => A ~>#: B): B
extension [A[_ >: Nothing <: Any] >: Nothing <: Any, C >: Nothing <: Any](
fa: FoldableK.this.F[A, C]
) def foldMapK[B >: Nothing <: Any](f: perspective.~>#:[A, B])(using
B: cats.Monoid[B]
): B =
this.foldLeftK[A, C](fa)[B](B.empty)(
{
def $anonfun(b: B): A ~>#: B =
{
final class $anon() extends Object(), PolyFunction {
def apply[Z >: Nothing <: Any](az: A[Z]): B =
cats.syntax.all.catsSyntaxSemigroup[B](b)(B).combine(
f.apply[Z](az)
)
}
new $anon():([Z] => (A[Z]) => B)
}
closure($anonfun)
}
)
extension [A >: Nothing <: Any, C >: Nothing <: Any](
fa: FoldableK.this.F[perspective.Const[A], C]
) def toListK: List[A] =
this.foldMapK[([_] =>> A), C](fa)[perspective.Const[List[A]][Z]](
perspective.FunctionK.liftConst[A, List[A]](
{
def $anonfun(_$5: A): List[A] = List.apply[A]([_$5:A : A]*)
closure($anonfun)
}
)
)(cats.kernel.Semigroup.catsKernelMonoidForList[A])
}
}
java.lang.AssertionError: assertion failed: orphan parameter reference: TypeParamRef(Z) while compiling /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/ApplicativeK.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/ApplyK.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/Compose.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/Const.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/DistributiveK.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/Finite.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/FoldableK.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/FunctionK.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/FunctorK.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/Id.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/MonadK.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/RepresentableK.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/TraverseK.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/TupleK.scala, /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/src/main/scala/perspective/ValueK.scala
[error] ## Exception when compiling 15 sources to /Users/odersky/workspace/dotty/community-build/community-projects/perspective/dotty/perspective/target/scala-3.1.1-RC1-bin-SNAPSHOT/classes
[error] java.lang.AssertionError: assertion failed: orphan parameter reference: TypeParamRef(Z)
[error] scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
[error] dotty.tools.dotc.core.tasty.TreePickler.pickleNewType(TreePickler.scala:289)
[error] dotty.tools.dotc.core.tasty.TreePickler.pickleType(TreePickler.scala:160)
[error] dotty.tools.dotc.core.tasty.TreePickler.pickleNewType$$anonfun$11$$anonfun$1(TreePickler.scala:181)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] scala.collection.immutable.List.foreach(List.scala:333)
[error] dotty.tools.dotc.core.tasty.TreePickler.pickleNewType$$anonfun$2(TreePickler.scala:181)
[error] dotty.tools.dotc.core.tasty.TreePickler.withLength(TreePickler.scala:58)
[error] dotty.tools.dotc.core.tasty.TreePickler.pickleNewType(TreePickler.scala:181)
[error] dotty.tools.dotc.core.tasty.TreePickler.pickleType(TreePickler.scala:160)
[error] dotty.tools.dotc.core.tasty.TreePickler.pickleTree(TreePickler.scala:604)
[error] dotty.tools.dotc.core.tasty.TreePickler.pickleTpt(TreePickler.scala:316)
[error] dotty.tools.dotc.core.tasty.TreePickler.pickleTree$$anonfun$39$$anonfun$1(TreePickler.scala:435)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
```
This looks like an unrelated problem that was exposed by the fix to `subsumes`. Unfortunately it's too large a project
for me to troubleshoot myself. So we'd need a minimization to get to the root of it.1 parent 41abe98 commit 5793f90Copy full SHA for 5793f90
File tree
1 file changed
+1
-1
lines changedFilter options
- community-build/test/scala/dotty/communitybuild
1 file changed
+1
-1
lines changedcommunity-build/test/scala/dotty/communitybuild/CommunityBuildTest.scala
Copy file name to clipboardExpand all lines: community-build/test/scala/dotty/communitybuild/CommunityBuildTest.scala+1-1Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
123 | 123 |
| |
124 | 124 |
| |
125 | 125 |
| |
126 |
| - | |
| 126 | + | |
127 | 127 |
| |
128 | 128 |
| |
129 | 129 |
| |
|
0 commit comments