a parse failure's code: a duplicate name 2, a limit 3, anything else 1
53def aosParseErrorCode =
54 (lambda unrestricted error : (family JSONErrorCode) .
55 (eliminate
56 JSONErrorCode
57 (lambda unrestricted current : (family JSONErrorCode) . Nat)
58 error
59 (branch JSONInvalidUTF8 . 1)
60 (branch JSONUnexpectedEnd . 1)
61 (branch JSONTrailingBytes . 1)
62 (branch JSONInvalidValue . 1)
63 (branch JSONObjectKeyNotString . 1)
64 (branch JSONObjectColonMissing . 1)
65 (branch JSONObjectDelimiterMissing . 1)
66 (branch JSONObjectDuplicateKey . 2)
67 (branch JSONArrayDelimiterMissing . 1)
68 (branch JSONStringUnterminated . 1)
69 (branch JSONStringControlCharacter . 1)
70 (branch JSONEscapeInvalid . 1)
71 (branch JSONUnicodeEscapeInvalid . 1)
72 (branch JSONUnicodeLowWithoutHigh . 1)
73 (branch JSONUnicodeHighWithoutLow . 1)
74 (branch JSONNumberIntegerInvalid . 1)
75 (branch JSONNumberFractionDigitsMissing . 1)
76 (branch JSONNumberExponentDigitsMissing . 1)
77 (branch JSONExpectedObject . 1)
78 (branch JSONMissingMember . 1)
79 (branch JSONDuplicateMember . 2)
80 (branch JSONExpectedString . 1)
81 (branch JSONExpectedArray . 1)
82 (branch JSONExpectedNumber . 1)
83 (branch JSONExpectedInteger . 1)
84 (branch JSONExpectedBoolean . 1)
85 (branch JSONExpectedNull . 1)
86 (branch JSONInputLimitExceeded . 3)
87 (branch JSONDepthLimitExceeded . 3)
88 (branch JSONStringLimitExceeded . 3)
89 (branch JSONNumberLimitExceeded . 3)
90 (branch JSONContainerLimitExceeded . 3)
91 (branch JSONOutputLimitExceeded . 3)
92 (branch JSONNumericRangeUnsupported . 1)
93 (branch JSONMalformedTree . 1)))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.