296def magnitudeFailureCode =
297 (lambda unrestricted error : (family NaturalMagnitudeFailure) .
298 (eliminate
299 NaturalMagnitudeFailure
300 (lambda unrestricted current : (family NaturalMagnitudeFailure) . Bytes)
301 error
302 (branch
303 NaturalMagnitudeLiteralMalformed
304 failure
305 .
306 (eliminate
307 IntegerLiteralFailure
308 (lambda unrestricted current : (family IntegerLiteralFailure) . Bytes)
309 failure
310 (branch
311 IntegerLiteralMissingDigits
312 .
313 b"ALPHA-LITERAL-MISSING-DIGITS")
314 (branch
315 IntegerLiteralBadDigit
316 .
317 b"ALPHA-LITERAL-BAD-DIGIT")
318 (branch
319 IntegerLiteralBadSeparator
320 .
321 b"ALPHA-LITERAL-BAD-SEPARATOR")
322 (branch
323 IntegerLiteralOutOfRange
324 .
325 b"ALPHA-LITERAL-OUT-OF-RANGE")))
326 (branch
327 NaturalMagnitudeTooLarge
328 .
329 b"ALPHA-PARSE-NAT-LITERAL-TOO-LARGE")
330 (branch
331 NaturalMagnitudeNonCanonical
332 .
333 b"ALPHA-NAT-MAGNITUDE-NONCANONICAL")
334 (branch
335 NaturalMagnitudeNeedsType
336 .
337 b"ALPHA-LITERAL-NEEDS-TYPE")))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.