summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt (unfollow)
Commit message (Expand)AuthorFilesLines
2020-06-25spec: allow unions with mixed kindsNadrieril1-6/+0
2020-04-07Move duplicate field checking to parserNadrieril1-2/+2
2020-03-31Upgrade annotate-snippets versionNadrieril1-1/+1
2020-02-16Avoid recomputing universes in tckNadrieril1-1/+6
2020-02-13Rework annotation and Sort handlingNadrieril1-1/+1
2020-02-09Move ui outputs to a sensible placeNadrieril1-0/+0
2019-12-24Add debug output to unhandled type error messageNadrieril1-1/+1
2019-11-11Implement basicest Display for TypeErrorNadrieril1-1/+1
2019-11-11Test type error messagesNadrieril1-0/+1