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