...
>
> [The problem with left associative operators remains (define
> infixl 9 :^: to reproduce it), and I would still be glad of
> any suggestions for fixing that.]
>
The code that ghc derives suffers from the same problem (not that
I was aware of it - thought the relevant portion of the report
had been taken out just to cut down its size :).
The fix that springs to mind would be to followup and adapt
someone's proposal a couple of years ago of changing ReadS to
type ReadS a = String -> Maybe (a, String)
which will solve the problem at hand, I believe (and generally
speed things up). Not for Hugs98 though.
--sigbjorn