Skip to content

Instantly share code, notes, and snippets.

@Woody88
Created September 18, 2019 03:13
Show Gist options
  • Save Woody88/256a69596ccd503e3f4b1c3ce874bec0 to your computer and use it in GitHub Desktop.
Save Woody88/256a69596ccd503e3f4b1c3ce874bec0 to your computer and use it in GitHub Desktop.
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
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