[gambit-list] Promises & lazy thunks

Bradley Lucier lucier at math.purdue.edu
Mon Apr 29 15:05:43 EDT 2013


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



More information about the Gambit-list mailing list