| ghost (for) drop |
ghost (for) drop |
| ghost (loop) ghost (+loop) 2drop |
ghost (loop) ghost (+loop) 2drop |
| ghost (next) drop |
ghost (next) drop |
| ghost unloop ghost EXIT 2drop |
ghost unloop ghost ;S 2drop |
| ghost lit ghost (compile) ghost ! 2drop drop |
ghost lit ghost (compile) ghost ! 2drop drop |
| ghost (;code) ghost noop 2drop |
ghost (;code) ghost noop 2drop |
| ghost (.") ghost (S") ghost (ABORT") 2drop drop |
ghost (.") ghost (S") ghost (ABORT") 2drop drop |
| (THeader ;Resolve ! there ;Resolve cell+ ! |
(THeader ;Resolve ! there ;Resolve cell+ ! |
| docol, depth T ] H ; |
docol, depth T ] H ; |
| |
|
| |
Cond: EXIT ( -- ) restrict? compile ;S ;Cond |
| |
|
| Cond: ; ( -- ) restrict? |
Cond: ; ( -- ) restrict? |
| depth ?dup IF 1- <> ABORT" CROSS: Stack changed" |
depth ?dup IF 1- <> ABORT" CROSS: Stack changed" |
| ELSE true ABORT" CROSS: Stack empty" THEN |
ELSE true ABORT" CROSS: Stack empty" THEN |
| compile EXIT state off |
compile ;S state off |
| ;Resolve @ |
;Resolve @ |
| IF ;Resolve @ ;Resolve cell+ @ resolve THEN |
IF ;Resolve @ ;Resolve cell+ @ resolve THEN |
| ;Cond |
;Cond |