Created
September 18, 2019 03:13
-
-
Save Woody88/256a69596ccd503e3f4b1c3ce874bec0 to your computer and use it in GitHub Desktop.
Purescript Error message when using "." on a non Record type
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
Could not match type | |
Record | |
with type | |
Function (Mod CommandFields t2) | |
while trying to match type { fold :: t0 | |
| t1 | |
} | |
with type Mod CommandFields t2 -> Parser t2 | |
while checking that expression subparser | |
has type { fold :: t0 | |
| t1 | |
} | |
while checking type of property accessor subparser.fold | |
in value declaration main | |
where t0 is an unknown type | |
t1 is an unknown type | |
t2 is an unknown type |
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
Purescript Error message when using "." on a non Record type | |
Could not match type | |
Record | |
with type | |
Function (Mod CommandFields t2) | |
while trying to match type { fold :: t0 | |
| t1 | |
} | |
with type Mod CommandFields t2 -> Parser t2 | |
while checking that expression subparser | |
has type { fold :: t0 | |
| t1 | |
} | |
while checking type of property accessor subparser.fold | |
in value declaration main | |
where t0 is an unknown type | |
t1 is an unknown type | |
t2 is an unknown type | |
Hint: "." function cannot be applied on non Record type # Maybe add a Hint? |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment