Create a gist now

Instantly share code, notes, and snippets.

What would you like to do?
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
Owner

pierrebeaucamp commented Mar 26, 2017

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