Scala Programming Language
  1. Scala Programming Language
  2. SI-6726

Error during phase patmat (scala.tools.nsc.typechecker.PatternMatching$Logic$And.equals)

    Details

      Description

      I am having problems with 2.10-RC2 for this match

      Code: https://gist.github.com/8995c2131c5d3e49c629

      It compiles fine with 2.9.2.
      On eclipse I get a StackOverflow error that suggests me to close the workbench.
      On the command line output the compiler shows an error during phase patmat (scala.tools.nsc.typechecker.PatternMatching$Logic$And.equals)

      Output: https://gist.github.com/ae82deae3b906a8e8b89

      Paul Phillips figured out the problem: the 324 case was there twice. However the compiler should not crash because of this. But it should not compile (also a bug in 2.9.x I guess).

      1. example.scala
        3 kB
        Duncan Mac-Vicar P.

        Issue Links

          Activity

          Hide
          Jason Zaugg added a comment -

          I've done a little profiling and tuning over here:

          https://github.com/retronym/scala/compare/scala:2.10.x...retronym:ticket/6726

          Show
          Jason Zaugg added a comment - I've done a little profiling and tuning over here: https://github.com/retronym/scala/compare/scala:2.10.x...retronym:ticket/6726
          Show
          Jason Zaugg added a comment - https://github.com/scala/scala/pull/1994
          Hide
          Adriaan Moors added a comment -

          for 2.11 i'd like to solve this by moving to SAT4j

          Show
          Adriaan Moors added a comment - for 2.11 i'd like to solve this by moving to SAT4j
          Hide
          Adriaan Moors added a comment -

          assigning to Jason since he did the work on tuning

          this bug can be closed once his PR is merged – the SAT4j migration is logged as SI-6582

          Show
          Adriaan Moors added a comment - assigning to Jason since he did the work on tuning this bug can be closed once his PR is merged – the SAT4j migration is logged as SI-6582
          Show
          Adriaan Moors added a comment - https://github.com/scala/scala/pull/2020

            People

            • Assignee:
              Jason Zaugg
              Reporter:
              Duncan Mac-Vicar P.
            • Votes:
              0 Vote for this issue
              Watchers:
              5 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved:

                Development