AlphaGitHub
Source/Packages

Runtime.NativeRegionFrame

packages/execution/src/Runtime/NativeRegionFrame.alpha

321 lines25 declarations13.0 KiBSHA-256 62648683cf5f
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 135–143

frameNativeCopyHeader

Full file
Copy the current expected header, including its runtime round. Recopying the static layout header here would silently retransmit the first version.
135def frameNativeCopyHeader =
136  (lambda unrestricted layout : (family RegionFrameLayout) .
137    (lambda unrestricted slot : Nat .
138      (nativeMemoryCopyOperands
139        (frameNativeState (frameHeaderAt layout))
140        (frameNativeState (frameExpectedAt layout))
141        (bytes-length (frameHeader layout))
142        slot
143        b"frame-header-copy")))

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.