Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

exception in incorrect pattern using * #1878

Closed
scabug opened this issue Apr 13, 2009 · 4 comments
Closed

exception in incorrect pattern using * #1878

scabug opened this issue Apr 13, 2009 · 4 comments
Milestone
2.8.0

Comments

@scabug
Copy link

scabug commented Apr 13, 2009

entering this in the repl:

<x></x> match { case <x>{y*}</x> => }

makes the compiler throw an Exception in both 2.7.3 and trunk (r47416).
here's the 2.7.3 details:

exception when transforming private[this] val res1: Unit = snip
@scabug
Copy link
Author

scabug commented Apr 13, 2009

Imported From: https://issues.scala-lang.org/browse/SI-1878?orig=1
Reporter: @SethTisue
Assignee: @DRMacIver

@scabug
Copy link
Author

scabug commented May 6, 2009

@paulp said:
Fixed in r17659. Incredibly enough, #1764 is not a duplicate of this and will require a separate fix. Note the difference in the crashers:

<x></x> match { case <x>{y*}</x> => } // fixed this one

vs.

<x></x> match { case <x>{y*} </x> => } // still crashes

Yikes.

@scabug
Copy link
Author

scabug commented May 20, 2009

Michael Kebe (michael.kebe) said:
Maybe this is a the same bug or a new one. Try this at the REPL:

D:\Scala>scala
Welcome to Scala version 2.7.4.final (Java HotSpot(TM) Client VM, Java 1.6.0_11).
Type in expressions to have them evaluated.
Type :help for more information.

scala> "" match { case Seq(f @ _*, ',') => f }
exception when transforming private[this] val res0: Seq[Char] = "" match {
  case scala.Seq.unapplySeq[Char](scala.this.Predef.stringWrapper(<unapply-selector>)) <unapply> (Array[Char]{(f @ (_)*)
, ','}) => f
}
exception when transforming java.lang.Object with ScalaObject {
  def this(): object $$iw.$$iw = {
    $$iw.super.this();
    ()
  };
  private[this] val res0: Seq[Char] = "" match {
    case scala.Seq.unapplySeq[Char](scala.this.Predef.stringWrapper(<unapply-selector>)) <unapply> (Array[Char]{(f @ (_)
*), ','}) => f
  };
  <stable> <accessor> def res0(): Seq[Char] = $$iw.this.res0
}
exception when transforming final class $$iw extends java.lang.Object with ScalaObject {
  def this(): object $$iw.$$iw = {
    $$iw.super.this();
    ()
  };
  private[this] val res0: Seq[Char] = "" match {
    case scala.Seq.unapplySeq[Char](scala.this.Predef.stringWrapper(<unapply-selector>)) <unapply> (Array[Char]{(f @ (_)
*), ','}) => f
  };
  <stable> <accessor> def res0(): Seq[Char] = $$iw.this.res0
}
exception when transforming java.lang.Object with ScalaObject {
  def this(): object $$iw = {
    $$iw.super.this();
    ()
  };
  final class $$iw extends java.lang.Object with ScalaObject {
    def this(): object $$iw.$$iw = {
      $$iw.super.this();
      ()
    };
    private[this] val res0: Seq[Char] = "" match {
      case scala.Seq.unapplySeq[Char](scala.this.Predef.stringWrapper(<unapply-selector>)) <unapply> (Array[Char]{(f @ (
_)*), ','}) => f
    };
    <stable> <accessor> def res0(): Seq[Char] = $$iw.this.res0
  }
}
exception when transforming final class $$iw extends java.lang.Object with ScalaObject {
  def this(): object $$iw = {
    $$iw.super.this();
    ()
  };
  final class $$iw extends java.lang.Object with ScalaObject {
    def this(): object $$iw.$$iw = {
      $$iw.super.this();
      ()
    };
    private[this] val res0: Seq[Char] = "" match {
      case scala.Seq.unapplySeq[Char](scala.this.Predef.stringWrapper(<unapply-selector>)) <unapply> (Array[Char]{(f @ (
_)*), ','}) => f
    };
    <stable> <accessor> def res0(): Seq[Char] = $$iw.this.res0
  }
}
exception when transforming java.lang.Object with ScalaObject {
  def this(): object line1$$object = {
    line1$$object.super.this();
    ()
  };
  final class $$iw extends java.lang.Object with ScalaObject {
    def this(): object $$iw = {
      $$iw.super.this();
      ()
    };
    final class $$iw extends java.lang.Object with ScalaObject {
      def this(): object $$iw.$$iw = {
        $$iw.super.this();
        ()
      };
      private[this] val res0: Seq[Char] = "" match {
        case scala.Seq.unapplySeq[Char](scala.this.Predef.stringWrapper(<unapply-selector>)) <unapply> (Array[Char]{(f @
 (_)*), ','}) => f
      };
      <stable> <accessor> def res0(): Seq[Char] = $$iw.this.res0
    }
  }
}
exception when transforming final class line1$$object extends java.lang.Object with ScalaObject {
  def this(): object line1$$object = {
    line1$$object.super.this();
    ()
  };
  final class $$iw extends java.lang.Object with ScalaObject {
    def this(): object $$iw = {
      $$iw.super.this();
      ()
    };
    final class $$iw extends java.lang.Object with ScalaObject {
      def this(): object $$iw.$$iw = {
        $$iw.super.this();
        ()
      };
      private[this] val res0: Seq[Char] = "" match {
        case scala.Seq.unapplySeq[Char](scala.this.Predef.stringWrapper(<unapply-selector>)) <unapply> (Array[Char]{(f @
 (_)*), ','}) => f
      };
      <stable> <accessor> def res0(): Seq[Char] = $$iw.this.res0
    }
  }
}
exception when transforming package <empty> {
  final class line1$$object extends java.lang.Object with ScalaObject {
    def this(): object line1$$object = {
      line1$$object.super.this();
      ()
    };
    final class $$iw extends java.lang.Object with ScalaObject {
      def this(): object $$iw = {
        $$iw.super.this();
        ()
      };
      final class $$iw extends java.lang.Object with ScalaObject {
        def this(): object $$iw.$$iw = {
          $$iw.super.this();
          ()
        };
        private[this] val res0: Seq[Char] = "" match {
          case scala.Seq.unapplySeq[Char](scala.this.Predef.stringWrapper(<unapply-selector>)) <unapply> (Array[Char]{(f
 @ (_)*), ','}) => f
        };
        <stable> <accessor> def res0(): Seq[Char] = $$iw.this.res0
      }
    }
  }
}
Exception in thread "main" java.lang.Exception: Unexpected pattern: class scala.tools.nsc.ast.Trees$$Star => (_)*
        at scala.tools.nsc.matching.ParallelMatching$$RepFactory.classifyPat$$1(ParallelMatching.scala:850)
        at scala.tools.nsc.matching.ParallelMatching$$RepFactory$$$$anonfun$$32$$$$anonfun$$apply$$4.apply(ParallelMatching.scal
a:854)
        at scala.tools.nsc.matching.ParallelMatching$$RepFactory$$$$anonfun$$32$$$$anonfun$$apply$$4.apply(ParallelMatching.scal
a:854)
        at scala.List$$.map2(List.scala:333)
        at scala.tools.nsc.matching.ParallelMatching$$Row.expand(ParallelMatching.scala:677)
        at scala.tools.nsc.matching.ParallelMatching$$RepFactory$$$$anonfun$$32.apply(ParallelMatching.scala:854)
        at scala.tools.nsc.matching.ParallelMatching$$RepFactory$$$$anonfun$$32.apply(ParallelMatching.scala:854)
        at scala.List.flatMap(List.scala:1132)
        at scala.tools.nsc.matching.ParallelMatching$$RepFactory.make(ParallelMatching.scala:854)
        at scala.tools.nsc.matching.ParallelMatching$$MixSequence.makeSuccRep(ParallelMatching.scala:414)
        at scala.tools.nsc.matching.ParallelMatching$$MixSequence.getTransition(ParallelMatching.scala:449)
        at scala.tools.nsc.matching.ParallelMatching$$MixSequence.tree(ParallelMatching.scala:462)
        at scala.tools.nsc.matching.ParallelMatching$$class.repToTree(ParallelMatching.scala:636)
        at scala.tools.nsc.transform.ExplicitOuter.repToTree(ExplicitOuter.scala:19)
        at scala.tools.nsc.matching.ParallelMatching$$MixUnapply.tree(ParallelMatching.scala:388)
        at scala.tools.nsc.matching.ParallelMatching$$class.repToTree(ParallelMatching.scala:636)
        at scala.tools.nsc.transform.ExplicitOuter.repToTree(ExplicitOuter.scala:19)
        at scala.tools.nsc.matching.ParallelMatching$$MixTypes.tree(ParallelMatching.scala:613)
        at scala.tools.nsc.matching.ParallelMatching$$class.repToTree(ParallelMatching.scala:636)
        at scala.tools.nsc.transform.ExplicitOuter.repToTree(ExplicitOuter.scala:19)
        at scala.tools.nsc.matching.TransMatcher$$class.handlePattern(TransMatcher.scala:82)
        at scala.tools.nsc.transform.ExplicitOuter.handlePattern(ExplicitOuter.scala:19)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:473)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transform$$4.apply(Trees.scala:1364)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transform$$4.apply(Trees.scala:1364)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1484)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1363)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:46)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:224)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:482)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transformStats$$1.apply(Trees.scala:1478)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transformStats$$1.apply(Trees.scala:1476)
        at scala.List$$.loop$$1(List.scala:300)
        at scala.List$$.mapConserve(List.scala:317)
        at scala.tools.nsc.ast.Trees$$Transformer.transformStats(Trees.scala:1476)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1384)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.scala$$tools$$nsc$$transform$$TypingTransformers$$T
ypingTransformer$$$$super$$transform(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer$$$$anonfun$$transform$$1.apply(TypingTransformers.
scala:44)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer$$$$anonfun$$transform$$1.apply(TypingTransformers.
scala:44)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1484)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:224)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:362)
        at scala.tools.nsc.ast.Trees$$Transformer.transformTemplate(Trees.scala:1462)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transform$$2.apply(Trees.scala:1356)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transform$$2.apply(Trees.scala:1356)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1484)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1355)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:46)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:224)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:482)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transformStats$$1.apply(Trees.scala:1478)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transformStats$$1.apply(Trees.scala:1476)
        at scala.List$$.loop$$1(List.scala:300)
        at scala.List$$.mapConserve(List.scala:317)
        at scala.tools.nsc.ast.Trees$$Transformer.transformStats(Trees.scala:1476)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1384)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.scala$$tools$$nsc$$transform$$TypingTransformers$$T
ypingTransformer$$$$super$$transform(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer$$$$anonfun$$transform$$1.apply(TypingTransformers.
scala:44)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer$$$$anonfun$$transform$$1.apply(TypingTransformers.
scala:44)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1484)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:224)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:362)
        at scala.tools.nsc.ast.Trees$$Transformer.transformTemplate(Trees.scala:1462)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transform$$2.apply(Trees.scala:1356)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transform$$2.apply(Trees.scala:1356)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1484)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1355)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:46)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:224)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:482)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transformStats$$1.apply(Trees.scala:1478)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transformStats$$1.apply(Trees.scala:1476)
        at scala.List$$.loop$$1(List.scala:300)
        at scala.List$$.mapConserve(List.scala:317)
        at scala.tools.nsc.ast.Trees$$Transformer.transformStats(Trees.scala:1476)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1384)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.scala$$tools$$nsc$$transform$$TypingTransformers$$T
ypingTransformer$$$$super$$transform(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer$$$$anonfun$$transform$$1.apply(TypingTransformers.
scala:44)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer$$$$anonfun$$transform$$1.apply(TypingTransformers.
scala:44)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1484)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:44)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:224)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:362)
        at scala.tools.nsc.ast.Trees$$Transformer.transformTemplate(Trees.scala:1462)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transform$$2.apply(Trees.scala:1356)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transform$$2.apply(Trees.scala:1356)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1484)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1355)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:46)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:224)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:482)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transformStats$$1.apply(Trees.scala:1478)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transformStats$$1.apply(Trees.scala:1476)
        at scala.List$$.loop$$1(List.scala:300)
        at scala.List$$.mapConserve(List.scala:317)
        at scala.tools.nsc.ast.Trees$$Transformer.transformStats(Trees.scala:1476)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transform$$1.apply(Trees.scala:1352)
        at scala.tools.nsc.ast.Trees$$Transformer$$$$anonfun$$transform$$1.apply(Trees.scala:1352)
        at scala.tools.nsc.ast.Trees$$Transformer.atOwner(Trees.scala:1484)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:33)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.atOwner(TypingTransformers.scala:27)
        at scala.tools.nsc.ast.Trees$$Transformer.transform(Trees.scala:1351)
        at scala.tools.nsc.transform.TypingTransformers$$TypingTransformer.transform(TypingTransformers.scala:46)
        at scala.tools.nsc.transform.ExplicitOuter$$OuterPathTransformer.transform(ExplicitOuter.scala:224)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transform(ExplicitOuter.scala:482)
        at scala.tools.nsc.ast.Trees$$Transformer.transformUnit(Trees.scala:1479)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.scala$$tools$$nsc$$transform$$ExplicitOuter$$Expl
icitOuterTransformer$$$$super$$transformUnit(ExplicitOuter.scala:492)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer$$$$anonfun$$transformUnit$$1.apply(ExplicitOuter
.scala:492)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer$$$$anonfun$$transformUnit$$1.apply(ExplicitOuter
.scala:492)
        at scala.tools.nsc.symtab.SymbolTable.atPhase(SymbolTable.scala:106)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transformUnit(ExplicitOuter.scala:492)
        at scala.tools.nsc.transform.ExplicitOuter$$ExplicitOuterTransformer.transformUnit(ExplicitOuter.scala:293)
        at scala.tools.nsc.transform.Transform$$Phase.apply(Transform.scala:30)
        at scala.tools.nsc.Global$$GlobalPhase.applyPhase(Global.scala:267)
        at scala.tools.nsc.Global$$GlobalPhase$$$$anonfun$$run$$1.apply(Global.scala:246)
        at scala.tools.nsc.Global$$GlobalPhase$$$$anonfun$$run$$1.apply(Global.scala:246)
        at scala.Iterator$$class.foreach(Iterator.scala:414)
        at scala.collection.mutable.ListBuffer$$$$anon$$1.foreach(ListBuffer.scala:266)
        at scala.tools.nsc.Global$$GlobalPhase.run(Global.scala:246)
        at scala.tools.nsc.Global$$Run.compileSources(Global.scala:574)
        at scala.tools.nsc.Interpreter$$Request.compile(Interpreter.scala:820)
        at scala.tools.nsc.Interpreter.interpret(Interpreter.scala:505)
        at scala.tools.nsc.Interpreter.interpret(Interpreter.scala:494)
        at scala.tools.nsc.InterpreterLoop.interpretStartingWith(InterpreterLoop.scala:242)
        at scala.tools.nsc.InterpreterLoop.command(InterpreterLoop.scala:230)
        at scala.tools.nsc.InterpreterLoop.repl(InterpreterLoop.scala:142)
        at scala.tools.nsc.InterpreterLoop.main(InterpreterLoop.scala:298)
        at scala.tools.nsc.MainGenericRunner$$.main(MainGenericRunner.scala:141)
        at scala.tools.nsc.MainGenericRunner.main(MainGenericRunner.scala)

D:\Scala>

@scabug
Copy link
Author

scabug commented Jul 18, 2009

@paulp said:
That last was a completely different bug, but it's fixed in r18343.

@scabug scabug closed this as completed May 18, 2011
@scabug scabug added this to the 2.8.0 milestone Apr 6, 2017
@scabug scabug mentioned this issue Apr 7, 2017
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
2.8.0
Development

No branches or pull requests
1 participant
@scabug