Re: [gambit-list] Promises & lazy thunks

On 04/29/2013 02:54 PM, Marc Feeley wrote:

Indeed Gambit can be configured so that strict primitives do auto-forcing of promises. Just recompile Gambit with:

./configure --enable-auto-forcing make bootclean make

Then you'll be able to do this:

<omitted stuff> I just double-checked that it works.

Well, for some value of "works". Through visual examination of the output of

grep -C 1 '(define-prim ([^#]' _num.scm

it appears that make-random-source, flonum?, and fixnum? don't force their arguments.

I didn't check the other files.

I don't know how this can be checked automatically.

Brad