summaryrefslogtreecommitdiff
path: root/dhall/src/errors
ModeNameSize
-rw-r--r--AnnotMismatch.txt5059logplain
-rw-r--r--CantTextAppend.txt1080logplain
-rw-r--r--DuplicateAlternative.txt801logplain
-rw-r--r--FieldCollision.txt2016logplain
-rw-r--r--HandlerInputTypeMismatch.txt3048logplain
-rw-r--r--HandlerNotAFunction.txt1420logplain
-rw-r--r--HandlerOutputTypeMismatch.txt2876logplain
-rw-r--r--IfBranchMismatch.txt2186logplain
-rw-r--r--IfBranchMustBeTerm.txt1889logplain
-rw-r--r--InvalidAlterantive.txt1926logplain
-rw-r--r--InvalidAlterantiveType.txt1837logplain
-rw-r--r--InvalidField.txt1261logplain
-rw-r--r--InvalidFieldType.txt1397logplain
-rw-r--r--InvalidInputType.txt2404logplain
-rw-r--r--InvalidListElement.txt911logplain
-rw-r--r--InvalidListType.txt1498logplain
-rw-r--r--InvalidOptionType.txt1621logplain
-rw-r--r--InvalidOptionalElement.txt864logplain
-rw-r--r--InvalidOptionalLiteral.txt2462logplain
-rw-r--r--InvalidOutputType.txt2678logplain
-rw-r--r--InvalidPredicate.txt1889logplain
-rw-r--r--MissingField.txt1341logplain
-rw-r--r--MissingHandler.txt1756logplain
-rw-r--r--MustCombineARecord.txt2244logplain
-rw-r--r--MustMergeARecord.txt2131logplain
-rw-r--r--MustMergeUnion.txt1542logplain
-rw-r--r--NoDependentLet.txt2527logplain
-rw-r--r--NoDependentTypes.txt1082logplain
-rw-r--r--NotAFunction.txt2678logplain
-rw-r--r--NotARecord.txt1455logplain
-rw-r--r--TypeMismatch.txt5059logplain
-rw-r--r--UnboundVariable.txt3584logplain
-rw-r--r--Untyped.txt5059logplain
-rw-r--r--UnusedHandler.txt1739logplain