strictness question

Dylan Thurston dpt@math.harvard.edu
Fri, 2 Mar 2001 15:27:03 -0500


On Fri, Mar 02, 2001 at 06:58:16PM +0000, Marcin 'Qrczak' Kowalczyk wrote:
> Toplevel ~ in let doesn't change anything. But nested ~'s do make
> a difference. When a variable of a pattern is evaluated, the whole
> pattern is matched. When you protect a subpattern by ~ deferring its
> matching and a variable from the subpattern is evaluated, again the
> whole subpattern is matched, unless its subsubpatterns are protected
> with their own ~'s etc.

Is the behaviour of Hugs incorrect in this case?

Best,
	Dylan Thurston