[m-dev.] for review: polymorphic ground insts
Fergus Henderson
fjh at cs.mu.OZ.AU
Fri Mar 17 18:45:54 AEDT 2000
On 17-Mar-2000, David Overton <dmo at ender.cs.mu.oz.au> wrote:
>
> Here is one more relative diff. Some of the test cases fail due to
> `type_util__get_cons_id_arg_types' not supporting existentially typed
> cons_ids. I have disabled these test cases. Is that the best thing
> to do for now?
Ah, no, that would not be a good thing to do.
Currently type_util__get_cons_id_arg_types does not support existentially
typed cons_ids, but it is not called from anywhere that needs to be able to
handle existential typed cons_ids, so that is only a minor problem. Making
your change, which adds additional calls to get_cons_id_arg_types in crucial
places, and then simply disabling those test cases would exacerbate that minor
problem into a major problem -- specifically, it would break our support for
existential types.
I think the best thing to do is to fix it so that those test cases pass,
for example by changing your code so that it does not call
type_util__get_cons_id_arg_types.
You may be able to use get_cons_id_arg_types_adding_existq_tvars
from post_typecheck.m.
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3 | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the developers
mailing list