[m-dev.] diff: change pass ordering

Simon Taylor stayl at cs.mu.OZ.AU
Tue Mar 31 11:35:41 AEST 1998


> 
> compiler/mercury_compile.m:
> 	Change the order of the passes to match that specified in
> 	notes/compiler_design.html: invoke check_typeclass.m
> 	(which checks the correctness of instance declarations)
> 	immediately after unique mode checking, before simplify.m
> 	and stratify.m.

> +		mercury_compile__simplify(HLDS11, Warn, no,
> +			Verbose, Stats, HLDS12), !,
> +		mercury_compile__maybe_dump_hlds(HLDS11, "12", "simplify"), !,


You're dumping the wrong module_info here.

Simon.



More information about the developers mailing list