470def integerLiteralScale =
471 (lambda unrestricted radix : (family IntegerLiteralRadix) .
472 (lambda unrestricted accumulator : (family ModelWord64) .
473 (eliminate
474 IntegerLiteralRadix
475 (lambda unrestricted current : (family IntegerLiteralRadix) .
476 (family IntegerLiteralU64StepResult))
477 radix
478 (branch
479 IntegerLiteralDecimal
480 .
481 (integerLiteralThen
482 (integerLiteralCheckedAdd accumulator accumulator)
483 (lambda unrestricted twice : (family ModelWord64) .
484 (integerLiteralThen
485 (integerLiteralCheckedAdd twice twice)
486 (lambda unrestricted four : (family ModelWord64) .
487 (integerLiteralThen
488 (integerLiteralCheckedAdd four four)
489 (lambda unrestricted eight : (family ModelWord64) .
490 (integerLiteralCheckedAdd eight twice))))))))
491 (branch IntegerLiteralBinary . (integerLiteralCheckedAdd accumulator accumulator))
492 (branch
493 IntegerLiteralHexadecimal
494 .
495 (integerLiteralThen
496 (integerLiteralCheckedAdd accumulator accumulator)
497 (lambda unrestricted twice : (family ModelWord64) .
498 (integerLiteralThen
499 (integerLiteralCheckedAdd twice twice)
500 (lambda unrestricted four : (family ModelWord64) .
501 (integerLiteralThen
502 (integerLiteralCheckedAdd four four)
503 (lambda unrestricted eight : (family ModelWord64) .
504 (integerLiteralCheckedAdd eight eight)))))))))))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.