On 6/21/15 11:11 PM, Jonathan M Davis wrote:
No, that's not quite as nice a lowering, but it would avoid a lot of extraneous function definitions.
I think a lowering is a must. Matters are complicated as they are, I don't want to add new rules.
Combinatorial issues can be addressed by either generating the functions on demand, or by lowering at the client side.
Andrei
