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 329–356

beginBytesCons

Full file
329def beginBytesCons =
330  (lambda unrestricted left : (family ClosedNaturalElaboration) .
331    (eliminate
332      ClosedNaturalElaboration
333      (lambda unrestricted value : (family ClosedNaturalElaboration) .
334        (family ClosedNaturalElaboration))
335      left
336      (branch NaturalElaborated elaboratedNatural . unsupportedApplicationResult)
337      (branch BytesElaborated elaboratedBytes . unsupportedApplicationResult)
338      (branch
339        ByteElaborated
340        elaboratedByte
341        .
342        (constructor
343          ClosedNaturalElaboration
344          PrimitivePartial
345          (constructor PartialPrimitive PartialBytesCons elaboratedByte)))
346      (branch PrimitivePartial elaboratedPartial . unsupportedApplicationResult)
347      (branch
348        UnboundVariable
349        unboundSpelling
350        .
351        (constructor ClosedNaturalElaboration UnboundVariable unboundSpelling))
352      (branch
353        UnsupportedTerm
354        unsupportedCode
355        .
356        (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.