[m-dev.] for review: more empty array initializers

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Feb 7 20:42:00 AEDT 2001


On 07-Feb-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> On Wed, Feb 07, 2001 at 01:03:47PM +1100, Zoltan Somogyi wrote:
> > 
> > At the moment, ProcLayoutNames can be the empty list only if the module does
> > not export any procedures or types (since types have automatically generated
> > unify and compare procedures). I don't think that is allowed, although
> > I am not sure whether the front end checks this.
...
> > FileLayoutNames can be empty only if the module has *no* events with non-dummy
> > contexts. Even if the module has #line directives, every procedure (even
> > compiler-generated ones) should have a non-dummy context, so this can happen
> > if the module has no procedures.
>
> Not sure which of the three caused it but library/enum.c wouldn't
> compile with only the line number change so I added the above three in
> and it compiled fine.  I can't remember which one was the problem.

Right, this is because library/enum.m defines only a type class,
not any types or procedures (class methods don't count for this
purpose).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- 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