Re: or values bug?

[Andy Wingo]

On Mon 05 Dec 2011 21:57, Andy Wingo <address@hidden> writes:

>>    (let* ((vars (map (compose truncate lookup-var) gensyms))
>>           ...)
>>      ...)
>
> Better to truncate when adding variables to all expand-time
> environments, I would think, in the form of `(cut make-primcall #f
> 'values <>)'.

Rather, something like:

   (define (truncate x)
     (match x
       ((<const>) x)
       ;; similar provably singly-valued cases here
       (else (make-primcall #f 'values (list x)))))

Andy
-- 
http://wingolog.org/