nil rsp@ 1- rsp0 do
i 1+ @ fixnum-type 2swap cons
loop
+
+ rsp@ 1- rsp0 - fixnum-type 2swap cons
;
: cons-param-stack ( -- listobj )
2swap cons
2 +loop
+
+ depth 2- fixnum-type 2swap cons
;
: make-continuation
: continuation->rstack-list
drop pair-type cdr ;
-: restore-param-stack ( continuation -- obj_stack continuation )
-
- 2dup >R >R
+: restore-param-stack ( continuation -- obj_stack )
continuation->pstack-list
+ 2dup >R >R
- ( Idea: allocate stack space first using psp!,
+ ( Allocate stack space first using psp!,
then copy objects from list. )
+
+ car drop
+ object-stack-base @ psp0 + + psp!
+
+ R> R> 2dup cdr
+ 2swap
+ car drop 2- 0 swap do
+
+ 2dup car
+ PSP0 object-stack-base @ + i + 2 + !
+ PSP0 object-stack-base @ + i + 1 + !
+ cdr
+
+ -2 +loop
+
+ 2drop
;
-: restore-continuation
+: restore-return-stack ( continuation -- )
+
+ R> -rot \ store top of return stack on PS
+ continuation->rstack-list
+ 2dup print 2dup
+
+ \ TODO: Implement body of return stack restoration
+
+ >R \ restore original top of return stack
+;
+
+: restore-continuation ( continuation -- )
\ TODO: replace current parameter and return stacks with
\ contents of continuation object.
+
+ 2dup >R >R
+ restore-param-stack
+
+ ." ====== PARAM STACK RESTORED ======" cr
+ trace
+
+ R> R>
+ restore-return-stack
;
\ }}}
\ }}}
+\ DEBUGGING
+xxxx
+
\ ---- Loading files ---- {{{
: load ( addr n -- finalResult )