Skip to content

ArrayOutOfBounds exception in dotty.tools.dotc.transform.patmat.SpaceLogic. #13088

Closed
@theodore-norvell

Description

@theodore-norvell

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> 

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions