Skip to content

Instantly share code, notes, and snippets.

@Milyardo

Milyardo/gist:ae668309c003ea68cbe3

Last active October 5, 2015 17:18
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Milyardo/ae668309c003ea68cbe3 to your computer and use it in GitHub Desktop.
Save Milyardo/ae668309c003ea68cbe3 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
[error] /opt/workspace/de/scaloi/src/main/scala/scaloi/FreeHacks.scala:23: type parameter β defined in type Λ$ shadows type β defined in type Λ$. You may want to rename your type parameter, or possibly remove it.
[error] implicit def unapplyMMFA[TC[_[_]], M0[_[_], _], M1[_[_], _], F0[_], A0](implicit TC0: TC[M0[M1[F0,?], ?]]):
[error] /opt/workspace/de/scaloi/src/main/scala/scaloi/FreeHacks.scala:23: M1[F0,A] takes no type parameters, expected: one
[error] implicit def unapplyMMFA[TC[_[_]], M0[_[_], _], M1[_[_], _], F0[_], A0](implicit TC0: TC[Lambda[A => M0[M1[F0,A], A]]]):
[error] ^
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment