[m-dev.] bug fixes for module qualified cons_ids

Fergus Henderson fjh at cs.mu.oz.au
Wed Apr 2 11:34:52 AEST 1997


Simon TAYLOR, you wrote:
> 
> Hi Fergus,
> 
> > So, unless I am mistaken, that removal is a bug.
...
> intermod.m currently doesn't put an exported predicate's definition in the
> `.opt' file if it calls predicates without modes declared.

Ah.  I was mistaken, then.

> > Yes, but what is the point of running the unused_args pass, if the `.opt'
> > file has already been written out?  Where does the information in the
> > unused_args pass get saved?  It looks to me like it just gets discarded,
> > i.e. the --intermod-unused-args option doesn't work.
> 
> unused_args.m appends some pragmas on to the end of the `.opt' file,
> e.g. :- pragma unused_args(predicate, list:append, 3, 0, [1]).

Fair enough.  Could you please add some documentation to
maybe_write_optfile in mercury_compile.m explaining this?

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



More information about the developers mailing list