AlphaGitHub
Source/Packages

Compiler.ELF

packages/compiler/src/Compiler/ELF.alpha

317 lines63 declarations12.9 KiBSHA-256 f1c85b457831
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 284–304

compileClosedZeroExecutable

Full file
284def compileClosedZeroExecutable =
285  (lambda unrestricted result : (family ClosedNaturalElaboration) .
286    (eliminate
287      CodegenResult
288      (lambda unrestricted value : (family CodegenResult) . (family ExecutableResult))
289      (compileClosedNaturalElaboration result)
290      (branch
291        CodeGenerated
292        machineCode
293        .
294        (constructor ExecutableResult ExecutableGenerated (wrapMachineCode machineCode)))
295      (branch
296        CodegenUnboundVariable
297        codegenUnboundSpelling
298        .
299        (constructor ExecutableResult ExecutableUnboundVariable codegenUnboundSpelling))
300      (branch
301        CodegenUnsupportedTerm
302        codegenUnsupportedCode
303        .
304        (constructor ExecutableResult ExecutableUnsupportedTerm codegenUnsupportedCode))))

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.