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 452–460

selectPrimitiveBySpelling

Full file
452def selectPrimitiveBySpelling =
453  (lambda unrestricted sourceSpelling : Bytes .
454    (lambda unrestricted candidateSpelling : Bytes .
455      (lambda unrestricted selected : (family ClosedNaturalElaboration) .
456        (lambda unrestricted fallback : (family ClosedNaturalElaboration) .
457          (choosePrimitiveElaboration
458            (bytesEqual sourceSpelling candidateSpelling)
459            selected
460            fallback)))))

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.