AlphaGitHub
Source/Packages

Compiler.Elaborator

packages/compiler/src/Compiler/Elaborator.alpha

1,138 lines65 declarations36.4 KiBSHA-256 71619035ff76
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1111–1138

elaborationFingerprint

Full file
1111def elaborationFingerprint : Nat =
1112  (eliminate
1113    ClosedNaturalElaboration
1114    (lambda unrestricted result : (family ClosedNaturalElaboration) . Nat)
1115    elaboratedParserSample
1116    (branch
1117      NaturalElaborated
1118      elaboratedNatural
1119      .
1120      (eliminate
1121        ClosedNatural
1122        (lambda unrestricted value : (family ClosedNatural) . Nat)
1123        elaboratedNatural
1124        (branch
1125          ClosedZero
1126          .
1127          (succ (succ (succ (succ (succ (succ (succ (succ (succ (succ (succ zero))))))))))))
1128        (branch
1129          ClosedSuccessor
1130          closedPredecessor
1131          ih_closedPredecessor
1132          .
1133          (succ ih_closedPredecessor))))
1134    (branch BytesElaborated elaboratedBytes . (bytes-length elaboratedBytes))
1135    (branch ByteElaborated elaboratedByte . (byte-to-nat elaboratedByte))
1136    (branch PrimitivePartial elaboratedPartial . zero)
1137    (branch UnboundVariable unboundSpelling . zero)
1138    (branch UnsupportedTerm unsupportedCode . zero))

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.