summaryrefslogtreecommitdiff
path: root/dhall/tests/type-inference/failure/unit/RightBiasedRecordMergeMixedKinds3.txt (follow)
Commit message (Expand)AuthorAgeFilesLines
* spec: allow unions with mixed kindsNadrieril2020-06-251-6/+0
* Move duplicate field checking to parserNadrieril2020-04-071-2/+2
* Upgrade annotate-snippets versionNadrieril2020-03-311-1/+1
* Avoid recomputing universes in tckNadrieril2020-02-161-1/+6
* Rework annotation and Sort handlingNadrieril2020-02-131-1/+1
* Move ui outputs to a sensible placeNadrieril2020-02-091-0/+1