[m-dev.] for review: switch detection & implicit quantification

Thomas Charles CONWAY conway at cs.mu.OZ.AU
Tue May 12 08:55:41 AEST 1998


Fergus Henderson, you write:
> Hi,
> 
> Any objections to this change?
> 
> --------------------
> 
> Fix a problem reported by Baudouin Le Charlier <ble at info.fundp.ac.be>
> where switch detection was getting confused by explicit existential
> quantifications.
> 
> compiler/switch_detection.m:
> 	When detecting switches, traverse through some/2 goals.
> 	Also simplify the code a bit.
> 
> tests/valid/Mmakefile:
> tests/valid/some_switch.m:
> 	Regression test for the above change.

Looks fine.

-- 
Thomas Conway <conway at cs.mu.oz.au>
Nail here [] for new monitor.  )O+



More information about the developers mailing list