Assertion Error in OrderingConstraint #3213
Comments
|
To easily reproduce the issue without manually downloading fastparse and its dependencies you can download coursier (https://github.com/coursier/coursier#command-line) and then do: ./bin/dotc -classpath "$(coursier fetch -p com.lihaoyi:fastparse_2.12:0.4.4)" try/i3213.scala |
|
It might well be a separate compilation bug, I cannot reproduce it with: trait Repeater[-T, R]
trait Parser[+T, Elem, Repr]
trait ParserApi[+T, Elem, Repr] {
def rep[R](min: Int = 0,
sep: Parser[_, Elem, Repr] = ???,
max: Int = Int.MaxValue,
exactly: Int = -1)
(implicit ev: Repeater[T, R]): Parser[R, Elem, Repr]
}
trait Api[Elem, Repr] {
type Parser2[+T] = Parser[T, Elem, Repr]
type P0 = Parser2[Unit]
}
class StringApi extends Api[Char, String] {
implicit def LiteralStr(s: String): P0 = ???
}
object all extends StringApi {
implicit def parserApi[T, V](p: T)
(implicit c: T => Parser[V, Char, String]): ParserApi[V, Char, String] = ???
}
class Test {
import all._
implicit val unitRepeater: Repeater[Unit, Unit] = ???
def test: Unit = {
"Hello".rep(1)
}
} |
smarter
added a commit
to dotty-staging/dotty
that referenced
this issue
Oct 4, 2017
Fixes scala#2981 which was a duplicate of scala#3213
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The following code snippet crashes the compiler:
Stacktrace
There is a dependency on
"com.lihaoyi" %% "fastparse" % "0.4.4". I'll try to minimise further and remove the dependencyThe text was updated successfully, but these errors were encountered: