AlphaGitHub
Source/Packages

Compiler.NaturalOperation

packages/compiler/src/Compiler/NaturalOperation.alpha

178 lines13 declarations9.0 KiBSHA-256 3aedec531845
Download exact fileView at revisionf5034773ad4bb52133

def · lines 20–30

naturalOperationCode

Full file
20def naturalOperationCode =
21  (lambda unrestricted operation : (family CoreNaturalOperation) .
22    (eliminate
23      CoreNaturalOperation
24      (lambda unrestricted value : (family CoreNaturalOperation) . Byte)
25      operation
26      (branch CoreNaturalAdd . (byte 0))
27      (branch CoreNaturalSubtract . (byte 1))
28      (branch CoreNaturalMultiply . (byte 2))
29      (branch CoreNaturalDivide . (byte 3))
30      (branch CoreNaturalModulo . (byte 4))))

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.