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