355def niWithLayout =
356 (lambda unrestricted slots : Nat .
357 (lambda unrestricted system : (family IndependentStateSystem slots) .
358 (lambda unrestricted epoch : Nat .
359 (lambda unrestricted base : Nat .
360 (lambda unrestricted scratchWords : Nat .
361 (lambda unrestricted available : Nat .
362 (lambda unrestricted emit : (pi unrestricted layout : (family NativeIndependentLayout) . Bytes) .
363 (let unrestricted digest =
364 (niIdentityDigest slots system)
365 in
366 (eliminate
367 StdResult
368 (lambda unrestricted result : (family StdResult (family RegionFrameLayoutFailure) (family RegionFrameLayout)) .
369 Bytes)
370 (planRegionFrameLayout
371 (niIdentity slots system digest 0 1 0)
372 (niCaptureBytes slots system)
373 512
374 base
375 available)
376 (branch StdFailure error . b"")
377 (branch
378 StdSuccess
379 capture
380 .
381 (eliminate
382 StdResult
383 (lambda unrestricted result : (family StdResult (family RegionFrameLayoutFailure) (family RegionFrameLayout)) .
384 Bytes)
385 (planRegionFrameLayout
386 (niIdentity slots system digest 1 0 1)
387 nativePointwiseWordBytes
388 512
389 (frameAlign (frameEnd capture))
390 available)
391 (branch StdFailure error . b"")
392 (branch
393 StdSuccess
394 committed
395 .
396 (eliminate
397 StdResult
398 (lambda unrestricted result : (family StdResult (family NativeCheckpointFailure) (family NativeRegionCheckpoint)) .
399 Bytes)
400 (planNativeRegionCheckpoint
401 (niContext slots system)
402 (niRegions slots system)
403 (niPartitions slots system)
404 epoch
405 (frameAlign (frameEnd committed))
406 available
407 (niOwners slots system))
408 (branch StdFailure error . b"")
409 (branch
410 StdSuccess
411 checkpoint
412 .
413 (emit
414 (constructor
415 NativeIndependentLayout
416 NativeIndependentLayoutOf
417 capture
418 committed
419 checkpoint
420 scratchWords
421 digest))))))))))))))))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.