[mercury-users] switch detection

[Ralph Becket]

Nicholas Nethercote, Tuesday,  9 January 2007:
> It's not a hard workaround, but it was a little surprising (Mercury's
> switch-detection is normally pretty good) and I thought it worth
> mentioning.

What's happening here is that switch detection only looks at
unifications and not function calls, which is what field accesses are.
The solution is to move the field access outside the switch and use
a temporary variable, e.g.:

	L = S ^ lang,
	(
		L = ...
	;
		L = ...
	;
		L = ...
	)

-- Ralph
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------