Skip to content

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

This comment has been minimized.

Copy link
Owner Author

@pierrebeaucamp pierrebeaucamp commented Mar 26, 2017

When checking right hand side of Main.Main.Bar implementation of Main.Foo, method doStuff with expected type

Type mismatch between
        eq (Type of x)
        iType (Expected type)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.