[m-dev.] Bug in switch detection?

[Fergus Henderson]

On 27-Sep-1999, Ralph Becket <rbeck at microsoft.com> wrote:
> I'm not sure whether this constitutes a bug per se, but it does look like
> a bit of an omission.  The following code is not inferred det:
> 
> 	( X = Y, ...
> 	; X \= Y, ...
> 	)
> 
> Okay, this can (should?) obviously be recoded as an if-then-else, but it
> seems a little odd.

A couple of questions:

- Is there any good reason not to code that using an if-then-else?

- If we infer that as det, should we infer this as det too?

	( (some [Z] p(X, Y, Z)), ...
	; not(some [Z] p(X, Y, Z)), ...
	)

  If we infer that as det, should we infer this as det too?

	( some [Z] (p(X, Y, Z), ...)
	; not(some [Z] p(X, Y, Z)), ...
	)

-- 
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.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------