To my bug report on ghc-4.01
Simon Peyton-Jones writes
> Alternatively, tar up the complete system and send it to us.
>
> Of course, the smaller the better, but this looks like a hard
> one to localise.
Please, ftp it from ftp.botik.ru:/pub/local/Mechveliani/bug/bug.zip
After unzip -ing see README.
------------------------------------------------------------
...
in
case smallInBoundedLattice hs m k bBound
of
Just b -> let g = pFromVec f b
h0 = fromJust (pCDiv g (pCont g))
in
error (shows (vr h0) "\n")
vr (UPol _ _ x _) = x :: String
------------------------------------------------------------
The above `(vr h0)' may yield "Segmentation fault" ...
`h0' yields the correct printing out - which shows
that vr h0 has to be "y".
After 11 hours of work i reduced the bug program twice in the total
volum.
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.
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
