summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors
ModeNameSize
-rw-r--r--hurkensParadox.txt261logplain
-rw-r--r--mixedUnions.txt68logplain
-rw-r--r--recordOfKind.txt34logplain
d---------unit4958logplain