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
@pierrebeaucamp

This comment has been minimized.

Show comment Hide comment
@pierrebeaucamp

pierrebeaucamp 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)
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