Depth zero has no depth word and no saved frame: the interpreter for a
repeat-free program allocates only the base scratch.
84def nativePhysicalRepeatScratchBytes =
85 (lambda unrestricted depth : Nat .
86 (naturalSelect
87 (naturalEqual depth 0)
88 nativePhysicalRepeatDepthAt
89 (naturalAdd
90 nativePhysicalRepeatFramesAt
91 (naturalMultiply depth nativePhysicalRepeatFrameBytes))))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.