108def nativeFrameAdvance =
109 (lambda unrestricted layout : (family RegionFrameLayout) .
110 (lambda unrestricted terminal : (family NativeFrameTerminal) .
111 (lambda unrestricted slot : Nat .
112 (lambda unrestricted tail : (family NativePhysicalCommands) .
113 (frameNativeRequirePhase
114 layout
115 (eliminate
116 NativeFrameTerminal
117 (lambda unrestricted current : (family NativeFrameTerminal) .
118 (family NativeFramePhase))
119 terminal
120 (branch NativeFrameSendComplete . (constructor NativeFramePhase NativeFrameSent))
121 (branch
122 NativeFrameConsumeComplete
123 .
124 (constructor NativeFramePhase NativeFrameConsumed)))
125 (nativeCheckedWordAdd
126 (frameNativeState (frameExpectedVersionAt layout))
127 (frameNativeLoad (frameExpectedVersionAt layout))
128 (nativeLaunchRecipeImmediate 1)
129 slot
130 b"frame-version-overflow"
131 (frameNativePhase layout (constructor NativeFramePhase NativeFrameUnissued) tail)))))))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.