Last active
August 29, 2015 14:23
-
-
Save mjgpy3/6a7444643cbedc4d9f51 to your computer and use it in GitHub Desktop.
Expected TypesDoNotUnify
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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