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 358–385

beginBytesAppend

Full file
358def beginBytesAppend =
359  (lambda unrestricted left : (family ClosedNaturalElaboration) .
360    (eliminate
361      ClosedNaturalElaboration
362      (lambda unrestricted value : (family ClosedNaturalElaboration) .
363        (family ClosedNaturalElaboration))
364      left
365      (branch NaturalElaborated elaboratedNatural . unsupportedApplicationResult)
366      (branch
367        BytesElaborated
368        elaboratedBytes
369        .
370        (constructor
371          ClosedNaturalElaboration
372          PrimitivePartial
373          (constructor PartialPrimitive PartialBytesAppend elaboratedBytes)))
374      (branch ByteElaborated elaboratedByte . unsupportedApplicationResult)
375      (branch PrimitivePartial elaboratedPartial . unsupportedApplicationResult)
376      (branch
377        UnboundVariable
378        unboundSpelling
379        .
380        (constructor ClosedNaturalElaboration UnboundVariable unboundSpelling))
381      (branch
382        UnsupportedTerm
383        unsupportedCode
384        .
385        (constructor ClosedNaturalElaboration UnsupportedTerm unsupportedCode))))

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.