[m-dev.] diff: more existential types bug fixes

[Simon Taylor]

> Fix some more bugs that caused test case failures on the existential_types_2
> branch.

This diff looks OK.

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
--------------------------------------------------------------------------