A declaration derives its entire envelope, including identity and sequence
cells. On refusal, status is four and prior event bytes remain unchanged;
callers must not publish those stale bytes. Success is zero, not a durable
acknowledgement. The arena's status word and event region have one owner.
181def recordRenderCommands =
182 (lambda unrestricted parts : (family TelemetryRecordParts) .
183 (lambda unrestricted bytes : Bytes .
184 (lambda unrestricted source : (family NativePhysicalOperand) .
185 (lambda unrestricted identities : (family NativePhysicalOperand) .
186 (lambda unrestricted arenaAt : Nat .
187 (lambda unrestricted resultSlot : Nat .
188 (lambda unrestricted identity : Bytes .
189 (lambda unrestricted tail : (family NativePhysicalCommands) .
190 (let unrestricted destination =
191 (naturalAdd arenaAt telemetryRecordAt)
192 in
193 (nativeLaunchRecipeCommand
194 (constructor
195 NativePhysicalOperation
196 NativePhysicalStoreWord64
197 (recordState arenaAt)
198 (nativeLaunchRecipeImmediate 4))
199 identity
200 (nativeLaunchRecipeCommand
201 (constructor
202 NativePhysicalOperation
203 NativePhysicalMachineRoutine
204 (recordAdmissionRoutine parts)
205 (constructor
206 NativePhysicalArguments
207 NativePhysicalArgumentsValue
208 source
209 identities
210 (recordState destination)
211 (nativeLaunchRecipeImmediate captureRecordBytes)
212 (nativeLaunchRecipeImmediate telemetryIdentitySetBytes)
213 (nativeLaunchRecipeImmediate (bytes-length bytes)))
214 (nativeLaunchRecipeStore resultSlot))
215 identity
216 (nativeLaunchRecipeCommand
217 (constructor
218 NativePhysicalOperation
219 NativePhysicalRepeatBeginCounted
220 (nativeLaunchRecipeSlotValue resultSlot))
221 identity
222 (nativeLaunchRecipeCommand
223 (constructor
224 NativePhysicalOperation
225 NativePhysicalCopyPayloadToState
226 (modelWord64FromNaturalTruncated destination)
227 (modelWord64FromNaturalTruncated (bytes-length bytes))
228 bytes)
229 identity
230 (recordPatchCommands
231 parts
232 source
233 identities
234 identity
235 destination
236 (nativeLaunchRecipeCommand
237 (constructor
238 NativePhysicalOperation
239 NativePhysicalStoreWord64
240 (recordState arenaAt)
241 (nativeLaunchRecipeImmediate 0))
242 identity
243 (nativeLaunchRecipeCommand
244 (constructor NativePhysicalOperation NativePhysicalRepeatEnd)
245 identity
246 (nativeLaunchRecipeCommand
247 (constructor
248 NativePhysicalOperation
249 NativePhysicalMachineRoutine
250 recordStatusRoutine
251 (nativeLaunchRecipeArguments
252 (recordState arenaAt)
253 (nativeLaunchRecipeImmediate 0)
254 (nativeLaunchRecipeImmediate 0)
255 (nativeLaunchRecipeImmediate 0))
256 (nativeLaunchRecipeStore resultSlot))
257 identity
258 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.