Skip to content

Instantly share code, notes, and snippets.

@vmarquez

vmarquez/BlowUpScalac.scala

Created December 18, 2014 23:52
Show Gist options
  • Save vmarquez/5c07586987dd91f136b1 to your computer and use it in GitHub Desktop.
Save vmarquez/5c07586987dd91f136b1 to your computer and use it in GitHub Desktop.
Download ZIP
Scala compiler exception
Raw
BlowUpScalac.scala
val eitherK = EitherT[({ type l[a] = Kleisli[Option, String, a]})#l, String, Int]( Kleisli((s:String) => (1.right[String]).some ) )
class MyBlah[A, B, F[_], G[_]](value: G[EitherT[F, A, B]])
new MyBlah(List(eitherK))
@vmarquez
Copy link
Author

scala.reflect.internal.FatalError: trying to do lub/glb of typevar ?F[a]

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment