AlphaGitHub
Source/Packages

Compiler.Parser

packages/compiler/src/Compiler/Parser.alpha

5,902 lines337 declarations199.2 KiBSHA-256 6d135c41813d
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1497–1506

scaleNaturalLiteral

Full file
1497def scaleNaturalLiteral =
1498  (lambda unrestricted radix : (family IntegerLiteralRadix) .
1499    (lambda unrestricted value : Nat .
1500      (eliminate
1501        IntegerLiteralRadix
1502        (lambda unrestricted current : (family IntegerLiteralRadix) . Nat)
1503        radix
1504        (branch IntegerLiteralDecimal . (advanceDecimal value zero))
1505        (branch IntegerLiteralBinary . (naturalDouble value))
1506        (branch IntegerLiteralHexadecimal . (naturalDouble (naturalOctuple value))))))

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.