Skip to content

Instantly share code, notes, and snippets.

@mjgpy3

mjgpy3/TDNU.txt

Last active August 29, 2015 14:23
Show Gist options
  • Save mjgpy3/6a7444643cbedc4d9f51 to your computer and use it in GitHub Desktop.
Save mjgpy3/6a7444643cbedc4d9f51 to your computer and use it in GitHub Desktop.
Download ZIP
Expected TypesDoNotUnify
Raw
TDNU.txt
TypeConstructor Main.Person
Error:
Error in module Main:
Error in value declaration name:
Error checking that type
Main.Person
subsumes type
Prim.Int -> Main.Person
Error at /home/michael/dev/contrib/purescript/examples/failing/CaseDoesNotMatchAllConstructorArgs.purs line 12, column 17 - line 12, column 34:
Cannot unify type
Main.Person
with type
Prim.Int -> Main.Person
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