summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors
ModeNameSize
-rw-r--r--hurkensParadox.txt515logplain
-rw-r--r--mixedUnions.txt46logplain
-rw-r--r--recordOfKind.txt34logplain
d---------unit4907logplain