[m-dev.] diff for review

[Fergus Henderson]

Simon TAYLOR, you wrote:
> 
> compiler/simplify.m
> 	Fix a code generator abort for if-then-elses with conditions
> 	that cannot succeed by fixing and enabling the code to optimise
> 	away such cases.

Why did the code generator abort for such conditions?

Fixing things only in simplify.m means that every optimization that
transforms the code needs to be careful to not introduce such constructs. 
Hence in general, it is better if the code generator can handle such things.

> +		instmap_delta_init_reachable(NegInstMapDelta),

That is wrong in the case that the determinism of the condition
is `erroneous'.

Can you please fix that, add

	( error("blah") -> ... ; ... )

to the test cases, and send me another diff?

Thanks,
	Fergus.

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