Skip to content

Instantly share code, notes, and snippets.

@pierrebeaucamp

pierrebeaucamp/error.idr

Created March 26, 2017 21:19
Show Gist options
  • Save pierrebeaucamp/ecdb8f0c6e97d4563ea291839a83d1e3 to your computer and use it in GitHub Desktop.
Save pierrebeaucamp/ecdb8f0c6e97d4563ea291839a83d1e3 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
error.idr
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