There was a `panic' report from me on ghc-4 on October 20.
Here is some additional observation.
'Panic' mentions specially cPMul in the end.
The latter is an operation from the constructor class
class Dom p => PolLike p
where
pIsZero :: p a -> Bool
pIsConst :: p a -> Bool
...
cPMul :: Ring a => a -> p a -> p a
...
The novelty here is the local context in the operation type, i
never tried such contexts before.
Though ghc-3.02 compiles this...
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
