A hard bug revealed in ghc-4.01 -binary-from-Glasgow
-------------------------------------------
...
let g = pFromVec f b
h0 = fromJust (pCDiv g (pCont g))
in
error (shows (vr h0) "\n")
vr (UPol _ _ x _) = x :: String
-------------------------------------------
Here `vr h0' yields "Segmenation fault",
`h0' prints the correct result h0 - showing that vr h0
has in fact to be "y".
The program is large, has many modules, the bug resists to reducing.
The most suspicious are here the operations pFromVec,pCDiv,pCont
of *constructor class* PolLike.
They have their individual type contexts inside class declaration.
But the bug reveals only under large functional environment.
I keep on trying to reduce it.
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
