Re: Xmas fun

1997-12-19 Thread David Bruce
Fergus Henderson wrote: On 19-Dec-1997, Simon L Peyton Jones [EMAIL PROTECTED] wrote: I thought you might find the following bug I've just found in GHC entertaining. ... sameVal (AbsApproxFun str1 v1) (AbsApproxFun str2 v2) = str1 == str2 sameVal v1 v1 ...

Re: Xmas fun

1997-12-19 Thread Fergus Henderson
On 19-Dec-1997, Simon L Peyton Jones [EMAIL PROTECTED] wrote: I thought you might find the following bug I've just found in GHC entertaining. In the strictness analyser we need to compare abstract values so that the fixpoint finder knows when to stop. In the middle of this code was the