Details

      Description

      I changed my Kiama library's sbt build scalaVersion from 2.10.0 to 2.10.1-RC1 and now when I compile I get a stack overflow in the typer. All was fine with 2.10.0.

      I'm still narrowing the code down but I wanted to report it quickly since this is an RC.

      The attached file Rewriter.scala contains the childSeq method in which the crash occurs (line 438). I've attached the crash report and the top of the stack trace is:

      [error] uncaught exception during compilation: java.lang.StackOverflowError
      java.lang.StackOverflowError
      at scala.reflect.internal.Symbols$Symbol.info(Symbols.scala:1239)
      at scala.reflect.internal.Types$TypeRef.initializedTypeParams(Types.scala:2400)
      at scala.reflect.internal.Types$TypeRef.typeParamsMatchArgs(Types.scala:2401)
      at scala.reflect.internal.Types$AliasTypeRef$class.dealias(Types.scala:2224)
      at scala.reflect.internal.Types$TypeRef$$anon$1.dealias(Types.scala:2526)
      at scala.tools.nsc.typechecker.Typers$Typer.dropExistential(Typers.scala:224)
      at scala.tools.nsc.typechecker.Typers$Typer.dropExistential(Typers.scala:225)
      at scala.tools.nsc.typechecker.Typers$Typer.dropExistential(Typers.scala:225)
      at scala.tools.nsc.typechecker.Typers$Typer.dropExistential(Typers.scala:225)
      at scala.tools.nsc.typechecker.Typers$Typer.dropExistential(Typers.scala:225)

      1. report.txt
        10 kB
        Tony Sloane
      2. Rewriter.scala
        57 kB
        Tony Sloane

        Activity

        Hide
        Jason Zaugg added a comment -

        Switching the fix version back to 2.10.1, as I think was always intended. We're still nutting out the details of what fix to apply over in the comments of the GitHub PR.

        Show
        Jason Zaugg added a comment - Switching the fix version back to 2.10.1, as I think was always intended. We're still nutting out the details of what fix to apply over in the comments of the GitHub PR.
        Hide
        Grzegorz Kossakowski added a comment -

        Elevated to blocker as it blocks 2.10.1 release.

        Show
        Grzegorz Kossakowski added a comment - Elevated to blocker as it blocks 2.10.1 release.
        Show
        Adriaan Moors added a comment - https://github.com/scala/scala/pull/2167
        Hide
        Tony Sloane added a comment -

        Thanks all. I'm happy to report that Kiama builds and passes all tests with 2.10.1-RC3.

        Show
        Tony Sloane added a comment - Thanks all. I'm happy to report that Kiama builds and passes all tests with 2.10.1-RC3.
        Hide
        Grzegorz Kossakowski added a comment -

        Thanks for the feedback, Tony!

        Show
        Grzegorz Kossakowski added a comment - Thanks for the feedback, Tony!

          People

          • Assignee:
            Jason Zaugg
            Reporter:
            Tony Sloane
          • Votes:
            0 Vote for this issue
            Watchers:
            7 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development