diff: fix for purity + intermodule opt bug
Peter Schachte
pets at students.cs.mu.OZ.AU
Fri Jan 30 09:35:52 AEDT 1998
> Peter Schachte, you might want to have a glance at this.
>
> compiler/hlds_out.m:
> Make sure that we write out purity annotations (the previous
> failure to do this caused errors in the generated `.opt' files
> when compiling with intermodule optimization).
>
> compiler/purity.m:
> compiler/mercury_to_mercury.m:
> Move the definition of `write_purity_prefix' from
> mercury_to_mercury.m to purity.m, and make it exported,
> for use by hlds_out.m.
This looks fine.
-Peter Schachte | Yesterday upon the stair I met a man who
pets at cs.mu.OZ.AU | wasn't there. He wasn't there again today
http://www.cs.mu.oz.au/~pets/ | -- I think he's from the CIA.
PGP key available on request |
More information about the developers
mailing list