Skip to content

Instantly share code, notes, and snippets.

@lunaris

lunaris/gist:23724ab13858513d574f

Created March 7, 2016 13:57
Show Gist options
  • Save lunaris/23724ab13858513d574f to your computer and use it in GitHub Desktop.
Save lunaris/23724ab13858513d574f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
Error found:
in module Test
at src/Test.purs line 57, column 7 - line 57, column 24
Could not match type
eff0
with type
( someEff :: SomeEff
| eff0
)
while trying to match type Eff eff0
with type Eff
( someEff :: SomeEff
| eff0
)
while checking that expression props
has type { someMonadA :: { opA :: Eff
( someEff :: SomeEff
| eff0
)
String
| _0
}
| _1
}
while checking type of property accessor props."someMonadA"
while checking type of property accessor (props."someMonadA")."opA"
in value declaration testWithProps
where eff0 is a rigid type variable
bound at line 55, column 1 - line 57, column 24
_0 is an unknown type
_1 is an unknown type
See https://github.com/purescript/purescript/wiki/Error-Code-TypesDoNotUnify for more information,
or to contribute content related to this error.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment