Hi Andy,

Andy Wingo <wingo@pobox.com> skribis:

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

I’ve started poking at it and the main difficulty is that we now need to
know, for any procedure, whether it’s provably singly-valued.

I suspect it’s often the case that it cannot be proved, for instance
when a lambda calls a top-level.  In all those cases, we’d end up
wrapping the expression in (values (list EXP)), which seems like a bad
idea.

Thoughts?

Thanks,
Ludo’.