make-type symbol-type
make-type primitive-proc-type
make-type compound-proc-type
+make-type continuation-type
make-type port-type
: istype? ( obj type -- obj bool )
over = ;
create cdr-cells scheme-memsize allot
create cdr-type-cells scheme-memsize allot
-variable gc-enabled
-false gc-enabled !
-
-: gc-enabled?
- gc-enabled @ ;
-
create nextfrees scheme-memsize allot
:noname
scheme-memsize 0 do
nextfree !
nextfree @ scheme-memsize >= if
- gc-enabled? if
- collect-garbage
- then
+ collect-garbage
then
nextfree @ scheme-memsize >= if
cdr-cells + !
;
+variable object-stack-base
+: init-object-stack-base
+ depth object-stack-base ! ;
+
: nil 0 nil-type ;
: nil? nil-type istype? ;
\ }}}
+\ ---- Continuations ---- {{{
+
+: cons-return-stack ( -- listobj )
+ rsp@ 1- rsp0 = if
+ nil exit
+ then
+
+ nil rsp@ 1- rsp0 do
+ i 1+ @ fixnum-type 2swap cons
+ loop
+
+ rsp@ 1- rsp0 - fixnum-type 2swap cons
+;
+
+: cons-param-stack ( -- listobj )
+ nil
+
+ depth 2- object-stack-base @ = if
+ exit
+ then
+
+ depth 2- object-stack-base @ do
+ PSP0 i + 1 + @
+ PSP0 i + 2 + @
+
+ 2swap cons
+ 2 +loop
+
+ depth 2- 2/ fixnum-type 2swap cons
+;
+
+: 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
+ drop pair-type car ;
+
+: continuation->rstack-list
+ drop pair-type cdr ;
+
+: stack-list-len ( stack-list -- n )
+ car drop
+;
+
+: restore-param-stack ( continuation -- obj_stack )
+ continuation->pstack-list
+ 2dup >R >R
+
+ ( Allocate stack space first using psp!,
+ then copy objects from list. )
+
+ car drop 2*
+ object-stack-base @ psp0 + + psp!
+
+ R> R> 2dup cdr
+ 2swap
+ stack-list-len 1- 0 swap do
+
+ 2dup car
+ PSP0 object-stack-base @ + i 2* + 2 + !
+ PSP0 object-stack-base @ + i 2* + 1 + !
+ cdr
+
+ -1 +loop
+
+ 2drop
+;
+
+( This word restores the return stack to that contained in the
+continuation object, and thus NEVER RETURNS. )
+: restore-return-stack ( continuation -- )
+
+ continuation->rstack-list
+
+ 2dup cdr 2swap stack-list-len ( list n )
+
+ dup RSP0 + RSP! \ expand return stack to accommodate entries
+
+ ( list n )
+
+ 1- \ initial offset n-1
+ 0 \ final offset 0
+ swap
+ do
+ 2dup cdr 2swap car drop
+ RSP0 i 1+ + !
+ -1 +loop
+
+ 2drop
+;
+
+( This word restores the parameter and return stacks
+to those in the continuation object. The restoration of the
+return stack means that execution continues at the point
+described in the continuation object, so this word NEVER RETURNS.
+
+Note that both obj and a false-obj are added to the parameter
+stack before the return stack is restored, so that make-continuation
+knows that this execution path is the result of a continuation
+restoration rather than the original call to make-continuation. )
+: restore-continuation-with-arg ( continuation obj -- )
+
+ >R >R \ Store obj on return stack
+
+ 2dup >R >R \ Store copy of continuation on return stack
+
+ restore-param-stack
+
+ 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
+;
+
+\ }}}
+
\ ---- Primitives ---- {{{
: make-primitive ( cfa -- )
['] evaluate-eproc goto
endof
+ continuation-type of
+ 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
endcase
;
: printcomp ( primobj -- )
2drop ." <compound procedure>" ;
+: printcont ( primobj --)
+ 2drop ." <continuation>" ;
+
: printnone ( noneobj -- )
2drop ." Unspecified return value" ;
pair-type istype? if ." (" printpair ." )" exit then
primitive-proc-type istype? if printprim exit then
compound-proc-type istype? if printcomp exit then
+ continuation-type istype? if printcont exit then
none-type istype? if printnone exit then
port-type istype? if printport exit then
or in other variables than the above will result in possible
memory corruption if the cons triggers the GC. )
-variable gc-stack-depth
-
-: enable-gc
- depth gc-stack-depth !
- true gc-enabled ! ;
-
-: disable-gc
- false gc-enabled ! ;
: pairlike? ( obj -- obj bool )
pair-type istype? if true exit then
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
;
console-i/o-port obj@ gc-mark-obj
global-env obj@ gc-mark-obj
- depth gc-stack-depth @ do
+ depth object-stack-base @ do
PSP0 i + 1 + @
PSP0 i + 2 + @
include scheme-primitives.4th
- enable-gc
-
+ init-object-stack-base
s" scheme-library.scm" load 2drop
-
- disable-gc
\ }}}
: repl
empty-parse-str
- enable-gc
+ init-object-stack-base
\ Display welcome message
welcome-symbol nil cons global-env obj@ eval 2drop
throw false
endcase
until
-
- disable-gc
;
forth definitions