[m-dev.] for review: fix switch_detection bug

[Fergus Henderson]

On 26-Aug-1998, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> Estimated hours taken: 5
> 
> Fix a bug which resulted from switch_detection and cse_detection differing
> on what they considered to be a common deconstruction. The code to handle
> complete one-arm switches leaves them alone, expecting cse_detection to move
> the deconstruction out of the disjunction and rerun switch_detection. The
> symptom is that a complete multi-arm switch is not found and a determinism
> error is reported.
> 
> compiler/switch_detection.m
> 	Generalise the find_bind_var predicates so that they can be used
> 	by cse_detection.m. 
> 
> compiler/cse_detection.m
> 	Use switch_detection:find_bind_var rather than similar code
> 	in cse_detection.m.
> 
> tests/valid/switch_detection_bug2.m
> 	Test case.

That one looks fine.  Thanks, Simon.

-- 
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.