[m-dev.] for review: reordering for existential types [1]

[Simon Taylor]

David Overton wrote: 
> The job of recompute_instmap_delta is simply to recompute the instmap
> deltas, not to change the goal in any way.  E.g. it will not re-order
> goals to make them mode correct or introduce unifications for implied
> modes.  This suggests that it probably should not be converting higher
> order pred constants into lambda expressions either.  If you want to
> do that, I think you should rerun mode analysis.

The point I was trying to make is that it treats higher-order pred constants
as data constructors - the pred_inst_info doesn't get filled in.

Simon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------