summaryrefslogtreecommitdiff
path: root/tests/pairUnify.ur
Commit message (Expand)AuthorAge
* Proper error message when the body of a 'val' declaration fails to check agai...Gravatar Adam Chlipala2018-05-20