AlphaGitHub
Source/Packages

Compiler.ELF

packages/compiler/src/Compiler/ELF.alpha

282 lines59 declarations11.1 KiBSHA-256 88f2369f1a73
Download exact fileView at revisionf5034773ad4bb52133

def · lines 249–269

compileClosedZeroExecutable

Full file
249def compileClosedZeroExecutable =
250  (lambda unrestricted result : (family ClosedNaturalElaboration) .
251    (eliminate
252      CodegenResult
253      (lambda unrestricted value : (family CodegenResult) . (family ExecutableResult))
254      (compileClosedNaturalElaboration result)
255      (branch
256        CodeGenerated
257        machineCode
258        .
259        (constructor ExecutableResult ExecutableGenerated (wrapMachineCode machineCode)))
260      (branch
261        CodegenUnboundVariable
262        codegenUnboundSpelling
263        .
264        (constructor ExecutableResult ExecutableUnboundVariable codegenUnboundSpelling))
265      (branch
266        CodegenUnsupportedTerm
267        codegenUnsupportedCode
268        .
269        (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.