AlphaGitHub
Source/Packages

Compiler.LanguageEdition

packages/compiler/src/Compiler/LanguageEdition.alpha

112 lines16 declarations4.2 KiBSHA-256 75b20ed8bf85
Download exact fileView at revisionf5034773ad4bb52133

def · lines 55–61

editionSourceIdentity

Full file
Existing checkpoint envelopes already validate source identity. Bind the selected edition into that identity before either save or restore. The fixed domain and fixed-width edition name distinguish this from legacy source-only hashes without introducing a second checkpoint representation.
55def editionSourceIdentity =
56  (lambda unrestricted edition : (family LanguageEdition) .
57    (lambda unrestricted source : Bytes .
58      (bytes-checksum
59        (bytes-append
60          b"ALPHA-EDITION-SOURCE-v1"
61          (bytes-append (languageEditionName edition) source)))))

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.