depth 2- 2/ fixnum-type 2swap cons
;
-: make-continuation
+: make-continuation ( -- continuation true-obj )
+ \ true-obj allows calling code to detect whether
+ \ it is being called immediately following make-continuation
+ \ or by a restore-continuation.
cons-param-stack
cons-return-stack
cons drop continuation-type
+
+ true boolean-type
;
: continuation->pstack-list
2drop
;
-: restore-continuation ( continuation -- )
- \ TODO: replace current parameter and return stacks with
- \ contents of continuation object.
+: restore-continuation-with-arg ( continuation obj -- )
+
+ >R >R \ Store obj on return stack
- 2dup >R >R
+ 2dup >R >R \ Store copy of continuation on return stack
restore-param-stack
- R> R>
+ R> R> \ Pop continuation from return stack
+
+ R> R> \ Pop obj from return stack
+
+ 2swap
+
+ false boolean-type \ Add flag signifying continuation restore
+
+ 2swap
restore-return-stack
;
endof
continuation-type of
- \ TODO: Apply continuation
+ 2swap
+ nil? if
+ except-message: ." Continuations expect exactly 1 argument."
+ recoverable-exception throw
+ then
+
+ 2dup cdr
+
+ nil? invert if
+ except-message: ." Continuations expect exactly 1 argument."
+ recoverable-exception throw
+ then
+
+ 2drop car
+
+ restore-continuation-with-arg
endof
except-message: ." object '" drop print ." ' not applicable." recoverable-exception throw
symbol-type istype? if true exit then
compound-proc-type istype? if true exit then
port-type istype? if true exit then
+ continuation-type istype? if true exit then
false
;
\ }}}
-\ DEBUGGING
-xxxx
-
\ ---- Loading files ---- {{{
: load ( addr n -- finalResult )