AlphaGitHub
Source/Packages

Runtime.NativeCombine

packages/execution/src/Runtime/NativeCombine.alpha

874 lines55 declarations36.9 KiBSHA-256 10cc50beeee8
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 534–553

nativeCombineDecisions

Full file
534def nativeCombineDecisions =
535  (lambda unrestricted placement : (family NativeCombinePlacement) .
536    (constructor
537      NativeProtocolDecisionBinding
538      NativeProtocolDecisionBindingOf
539      (family ProtocolNoDecision)
540      (family RegionTransferIdentity)
541      (lambda unrestricted selector : (family ProtocolNoDecision) .
542        (eliminate
543          ProtocolNoDecision
544          (lambda unrestricted current : (family ProtocolNoDecision) .
545            (family NativePhysicalOperand))
546          selector))
547      (lambda unrestricted selector : (family ProtocolNoDecision) .
548        (eliminate
549          ProtocolNoDecision
550          (lambda unrestricted current : (family ProtocolNoDecision) . Nat)
551          selector))
552      0
553      (nativeCombineFrame placement)))

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.