On Thu, 30 Sep 2004, Serge D. Mechveliani wrote:
I thought naively that the Report function definitions can be treated more flexy, varied by implementations, with preserving some declared main properties.
The definitions in the Report are to be treated as specifications. Any implementation should have *exactly* the same denotation as the function in the Report. What use would the Report be if you didn't treat it this way?
-- Lennart _______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users