[m-dev.] trivial diff: disable deforestation

Simon Taylor stayl at cs.mu.OZ.AU
Thu Aug 20 11:25:46 AEST 1998


> > compiler/options.m:
> > 	Disable deforestation due to a bug which has something to do with
> > 	quantification and mode information not being kept consistent. 
> 
> Could you elaborate about what conditions trigger the bug?
> e.g. do you have a test case?

It fell over on the compiler (prog_io.m?). The problem was triggered by
stopping the removal of goals (especially unifications) with no outputs -
this caused aborts in common.m for constructions where the constructed
variable was not a non-local of the goal.

Simon.



More information about the developers mailing list