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
> This bug could have been caught by a very simple static analysis that
> is very popular in the logic programming community: singleton variable
> warnings. In the code above, the variable `v2' occurs only once.
> Singleton variables such as this are often bugs. For cases where the
> programmer
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 v
Folks,
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 following:
sameVal :: AbsVal -> AbsVal -> Bool
