{"action":"opened","issue":{"url":"https://api.github.com/repos/kframework/k/issues/2091","labels_url":"https://api.github.com/repos/kframework/k/issues/2091/labels{/name}","comments_url":"https://api.github.com/repos/kframework/k/issues/2091/comments","events_url":"https://api.github.com/repos/kframework/k/issues/2091/events","html_url":"https://github.com/kframework/k/issues/2091","id":127310854,"number":2091,"title":"uncaught exception and unnecessary message","user":{"login":"grosu","id":3733729,"avatar_url":"https://avatars.githubusercontent.com/u/3733729?v=3","gravatar_id":"","url":"https://api.github.com/users/grosu","html_url":"https://github.com/grosu","followers_url":"https://api.github.com/users/grosu/followers","following_url":"https://api.github.com/users/grosu/following{/other_user}","gists_url":"https://api.github.com/users/grosu/gists{/gist_id}","starred_url":"https://api.github.com/users/grosu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/grosu/subscriptions","organizations_url":"https://api.github.com/users/grosu/orgs","repos_url":"https://api.github.com/users/grosu/repos","events_url":"https://api.github.com/users/grosu/events{/privacy}","received_events_url":"https://api.github.com/users/grosu/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2016-01-18T21:04:50Z","updated_at":"2016-01-18T21:04:50Z","closed_at":null,"body":"This is what you get when you kompile simple-typed-static.k of K3.6 with the K4.0 kompiler:\r\n\r\n```\r\nD:\\github\\grosu\\k\\k-distribution\\tutorial\\2_languages\\1_simple\\2_typed\\1_static>kompile simple-typed-static.k --debug\r\njava.lang.ClassCastException: org.kframework.kore.ADT$KSequence cannot be cast to org.kframework.kore.KRewrite\r\n        at org.kframework.kore.compile.AddParentCells.getParent(AddParentCells.java:233)\r\n        at org.kframework.kore.compile.AddParentCells.getParent(AddParentCells.java:233)\r\n        at org.kframework.kore.compile.AddParentCells.lambda$concretizeCell$200(AddParentCells.java:283)\r\n        at java.util.stream.Collectors.lambda$groupingBy$159(Collectors.java:907)\r\n        at java.util.stream.ReduceOps$3ReducingSink.accept(ReduceOps.java:169)\r\n        at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)\r\n        at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)\r\n        at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:471)\r\n        at java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:708)\r\n        at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)\r\n        at java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:499)\r\n        at org.kframework.kore.compile.AddParentCells.concretizeCell(AddParentCells.java:283)\r\n        at org.kframework.kore.compile.AddParentCells.concretize(AddParentCells.java:300)\r\n        at org.kframework.kore.compile.AddParentCells.concretize(AddParentCells.java:318)\r\n        at org.kframework.kore.compile.ConcretizeCells.concretize(ConcretizeCells.java:62)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$fromSentenceTransformer$1.apply(transformers.scala:14)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$fromSentenceTransformer$1.apply(transformers.scala:14)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$fromSentenceTransformer$2$$anonfun$3.apply(transformers.scala:20)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$fromSentenceTransformer$2$$anonfun$3.apply(transformers.scala:18)\r\n        at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:245)\r\n        at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:245)\r\n        at scala.collection.immutable.HashSet$HashSet1.foreach(HashSet.scala:322)\r\n        at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:978)\r\n        at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:978)\r\n        at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:978)\r\n        at scala.collection.TraversableLike$class.map(TraversableLike.scala:245)\r\n        at scala.collection.AbstractSet.scala$collection$SetLike$$super$map(Set.scala:47)\r\n        at scala.collection.SetLike$class.map(SetLike.scala:92)\r\n        at scala.collection.AbstractSet.map(Set.scala:47)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$fromSentenceTransformer$2.apply(transformers.scala:18)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$fromSentenceTransformer$2.apply(transformers.scala:17)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$apply$5.apply(transformers.scala:58)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$apply$5.apply(transformers.scala:55)\r\n        at scala.collection.concurrent.TrieMap.getOrElseUpdate(TrieMap.scala:901)\r\n        at org.kframework.definition.ModuleTransformer.apply(transformers.scala:55)\r\n        at org.kframework.definition.ModuleTransformer.apply(transformers.scala:51)\r\n        at org.kframework.definition.DefinitionTransformer.apply(transformers.scala:90)\r\n        at org.kframework.kore.compile.ConcretizeCells.transformDefinition(ConcretizeCells.java:46)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at org.kframework.kompile.Kompile.lambda$defaultSteps$11(Kompile.java:156)\r\n        at org.kframework.backend.java.symbolic.JavaBackend.lambda$null$5ca3f9c9$1(JavaBackend.java:79)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at org.kframework.backend.java.symbolic.JavaBackend.lambda$steps$146(JavaBackend.java:92)\r\n        at org.kframework.kompile.Kompile.run(Kompile.java:120)\r\n        at org.kframework.kompile.KompileFrontEnd.run(KompileFrontEnd.java:70)\r\n        at org.kframework.main.FrontEnd.main(FrontEnd.java:52)\r\n        at org.kframework.main.Main.runApplication(Main.java:110)\r\n        at org.kframework.main.Main.runApplication(Main.java:100)\r\n        at org.kframework.main.Main.main(Main.java:52)\r\njava.lang.ClassCastException: org.kframework.kore.ADT$KSequence cannot be cast to org.kframework.kore.KRewrite\r\n        at org.kframework.kore.compile.AddParentCells.getParent(AddParentCells.java:233)\r\n        at org.kframework.kore.compile.AddParentCells.getParent(AddParentCells.java:233)\r\n        at org.kframework.kore.compile.AddParentCells.lambda$concretizeCell$200(AddParentCells.java:283)\r\n        at java.util.stream.Collectors.lambda$groupingBy$159(Collectors.java:907)\r\n        at java.util.stream.ReduceOps$3ReducingSink.accept(ReduceOps.java:169)\r\n        at java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)\r\n        at java.util.stream.AbstractPipeline.copyInto(AbstractPipeline.java:481)\r\n        at java.util.stream.AbstractPipeline.wrapAndCopyInto(AbstractPipeline.java:471)\r\n        at java.util.stream.ReduceOps$ReduceOp.evaluateSequential(ReduceOps.java:708)\r\n        at java.util.stream.AbstractPipeline.evaluate(AbstractPipeline.java:234)\r\n        at java.util.stream.ReferencePipeline.collect(ReferencePipeline.java:499)\r\n        at org.kframework.kore.compile.AddParentCells.concretizeCell(AddParentCells.java:283)\r\n        at org.kframework.kore.compile.AddParentCells.concretize(AddParentCells.java:300)\r\n        at org.kframework.kore.compile.AddParentCells.concretize(AddParentCells.java:318)\r\n        at org.kframework.kore.compile.ConcretizeCells.concretize(ConcretizeCells.java:62)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$fromSentenceTransformer$1.apply(transformers.scala:14)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$fromSentenceTransformer$1.apply(transformers.scala:14)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$fromSentenceTransformer$2$$anonfun$3.apply(transformers.scala:20)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$fromSentenceTransformer$2$$anonfun$3.apply(transformers.scala:18)\r\n        at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:245)\r\n        at scala.collection.TraversableLike$$anonfun$map$1.apply(TraversableLike.scala:245)\r\n        at scala.collection.immutable.HashSet$HashSet1.foreach(HashSet.scala:322)\r\n        at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:978)\r\n        at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:978)\r\n        at scala.collection.immutable.HashSet$HashTrieSet.foreach(HashSet.scala:978)\r\n        at scala.collection.TraversableLike$class.map(TraversableLike.scala:245)\r\n        at scala.collection.AbstractSet.scala$collection$SetLike$$super$map(Set.scala:47)\r\n        at scala.collection.SetLike$class.map(SetLike.scala:92)\r\n        at scala.collection.AbstractSet.map(Set.scala:47)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$fromSentenceTransformer$2.apply(transformers.scala:18)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$fromSentenceTransformer$2.apply(transformers.scala:17)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$apply$5.apply(transformers.scala:58)\r\n        at org.kframework.definition.ModuleTransformer$$anonfun$apply$5.apply(transformers.scala:55)\r\n        at scala.collection.concurrent.TrieMap.getOrElseUpdate(TrieMap.scala:901)\r\n        at org.kframework.definition.ModuleTransformer.apply(transformers.scala:55)\r\n        at org.kframework.definition.ModuleTransformer.apply(transformers.scala:51)\r\n        at org.kframework.definition.DefinitionTransformer.apply(transformers.scala:90)\r\n        at org.kframework.kore.compile.ConcretizeCells.transformDefinition(ConcretizeCells.java:46)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at org.kframework.kompile.Kompile.lambda$defaultSteps$11(Kompile.java:156)\r\n        at org.kframework.backend.java.symbolic.JavaBackend.lambda$null$5ca3f9c9$1(JavaBackend.java:79)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at scala.Function1$$anonfun$andThen$1.apply(Function1.scala:52)\r\n        at org.kframework.backend.java.symbolic.JavaBackend.lambda$steps$146(JavaBackend.java:92)\r\n        at org.kframework.kompile.Kompile.run(Kompile.java:120)\r\n        at org.kframework.kompile.KompileFrontEnd.run(KompileFrontEnd.java:70)\r\n        at org.kframework.main.FrontEnd.main(FrontEnd.java:52)\r\n        at org.kframework.main.Main.runApplication(Main.java:110)\r\n        at org.kframework.main.Main.runApplication(Main.java:100)\r\n        at org.kframework.main.Main.main(Main.java:52)\r\n[Error] Internal: Uncaught exception thrown of type ClassCastException.\r\nPlease rerun your program with the --debug flag to generate a stack trace, and\r\nfile a bug report at https://github.com/kframework/k/issues\r\n```\r\nI've already ran the program with --debug, so no need to be told the above.  Period at the end of the message."}}