Closed
Description
Compiler version
3.0.0
Minimized code
import scala.util.parsing.combinator.RegexParsers
object p extends RegexParsers:
def meth() : Int = {
val result : ParseResult[Int]
= parseAll( err("XYZ"), "")
result match {
case Success( x ) => 1 // OOPS. Forgot that Success has two arguments.
case _ => 2
}
}
end p
Output (click arrow to expand)
sbt:cogent> compile
[info] compiling 1 Scala source to /Users/theo/Documents/Killick1/cogent-project/target/scala-3.0.0/classes ...
[info] exception occurred while compiling /Users/theo/Documents/Killick1/cogent-project/src/main/scala/cogent/MFE.scala
java.lang.ArrayIndexOutOfBoundsException: Index 1 out of bounds for length 1 while compiling /Users/theo/Documents/Killick1/cogent-project/src/main/scala/cogent/MFE.scala
[error] ## Exception when compiling 8 sources to /Users/theo/Documents/Killick1/cogent-project/target/scala-3.0.0/classes
[error] java.lang.ArrayIndexOutOfBoundsException: Index 1 out of bounds for length 1
[error] dotty.tools.dotc.transform.patmat.SpaceLogic.sub$1(Space.scala:276)
[error] dotty.tools.dotc.transform.patmat.SpaceLogic.minus$$anonfun$4(Space.scala:281)
[error] scala.runtime.java8.JFunction1$mcZI$sp.apply(JFunction1$mcZI$sp.scala:17)
[error] scala.collection.immutable.List.exists(List.scala:395)
[error] dotty.tools.dotc.transform.patmat.SpaceLogic.minus(Space.scala:281)
[error] dotty.tools.dotc.transform.patmat.SpaceLogic.minus$(Space.scala:78)
[error] dotty.tools.dotc.transform.patmat.SpaceEngine.minus(Space.scala:323)
[error] dotty.tools.dotc.transform.patmat.SpaceLogic.minus(Space.scala:252)
[error] dotty.tools.dotc.transform.patmat.SpaceLogic.minus$(Space.scala:78)
.
.
.
error] java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1130)
[error] java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:630)
[error] java.base/java.lang.Thread.run(Thread.java:831)
[error]
[error] stack trace is suppressed; run last Compile / compileIncremental for the full output
[error] (Compile / compileIncremental) java.lang.ArrayIndexOutOfBoundsException: Index 1 out of bounds for length 1
[error] Total time: 1 s, completed Jul. 15, 2021, 7:20:28 p.m.
sbt:cogent>