AlphaGitHub
Source/Packages

Runtime.NativePhysicalEmbeddedArtifact

packages/execution/src/Runtime/NativePhysicalEmbeddedArtifact.alpha

976 lines100 declarations49.9 KiBSHA-256 2a58d1c1703e
Download exact fileView at revisionf5034773ad4bb52133

def · lines 554–569

nativePhysicalEmbeddedBuildResultBytes

Full file
Direct artifact projection. An invalid component set becomes empty bytes, which the compiler's ELF writer rejects without running an intermediate packager executable.
554def nativePhysicalEmbeddedBuildResultBytes =
555  (lambda unrestricted result : (family NativePhysicalEmbeddedBuildResult) .
556    (eliminate
557      NativePhysicalEmbeddedBuildResult
558      (lambda unrestricted current : (family NativePhysicalEmbeddedBuildResult) . Bytes)
559      result
560      (branch
561        NativePhysicalEmbeddedBuildSucceeded
562        artifact
563        .
564        (eliminate
565          NativePhysicalEmbeddedArtifact
566          (lambda unrestricted current : (family NativePhysicalEmbeddedArtifact) . Bytes)
567          artifact
568          (branch NativePhysicalEmbeddedArtifactValue bytes manifest . bytes)))
569      (branch NativePhysicalEmbeddedBuildFailed error . b"")))

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.