Re: peval with extensible or arbitrary-precision arithmetic

2011-09-13 Thread Ludovic Courtès
Hi Mark! Mark H Weaver skribis: > I have a few comments on your v2.0.2-70-gcf14f30 commit: > >> + (define (pure-expression? x) >> +;; Return true if X is pure---i.e., if it is known to have no >> +;; effects and does not allocate new storage. Note: is >> +;; not "pure" because it

peval with extensible or arbitrary-precision arithmetic

2011-09-11 Thread Mark H Weaver
Hi Ludovic! Thanks for your work on partial evaluation, this is very exciting! :) I have a few comments on your v2.0.2-70-gcf14f30 commit: > + (define (pure-expression? x) > +;; Return true if X is pure---i.e., if it is known to have no > +;; effects and does not allocate new storage.