Skip to content

Instantly share code, notes, and snippets.

@pierrebeaucamp
Created March 26, 2017 21:19
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 pierrebeaucamp/ecdb8f0c6e97d4563ea291839a83d1e3 to your computer and use it in GitHub Desktop.
Save pierrebeaucamp/ecdb8f0c6e97d4563ea291839a83d1e3 to your computer and use it in GitHub Desktop.
interface Foo ty where
doStuff : (Eq eq) => ty -> eq
data Bar : Type where
MkBar : (Eq eq) => eq -> Bar
Foo Bar where
doStuff (MkBar x) = x
@pierrebeaucamp
Copy link
Author

error.idr:9:13:
When checking right hand side of Main.Main.Bar implementation of Main.Foo, method doStuff with expected type
        iType

Type mismatch between
        eq (Type of x)
and
        iType (Expected type)

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