[m-dev.] Extra HLDS pass..

[Fergus Henderson]

On 01-Mar-2000, Robert Ernst Johann JESCHOFNIK <rejj at students.cs.mu.oz.au> wrote:
> However, I have presently broken code generation slightly, since in
> several places whilst looking up constructors for types the previous
> assumption that eqv_types have been expanded is now invalid. I have gone
> through in a few places I have found and added the call to expand the
> particular type, but every time I do and rerun the tests, I find yet
> another place that needs this to be done...

Is there any reason why you can't modify the predicate which looks up
constructors for types to do the expansion?

If there are lots of places which are looking up constructors for types,
then they should be using a common sub-routine to do that.

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