[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