AlphaGitHub
Source/Packages

Runtime.NativeObservedProgram

packages/execution/src/Runtime/NativeObservedProgram.alpha

724 lines44 declarations33.5 KiBSHA-256 96fd2004b3de
Download exact fileView at revision426597bda5753d86c4

def · lines 717–724

nativeObservedRefusalOf

Full file
Inspect the named admission failure before requesting target emission.
717def nativeObservedRefusalOf =
718  (lambda unrestricted result : (family NativeObservedProgramResult) .
719    (eliminate
720      NativeObservedProgramResult
721      (lambda unrestricted current : (family NativeObservedProgramResult) . Bytes)
722      result
723      (branch NativeObservedProgramReady program . b"")
724      (branch NativeObservedProgramRefused reason . reason)))

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.