constant space `minimum'

Lennart Augustsson lennart at
Thu Sep 30 08:22:35 EDT 2004

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

More information about the Glasgow-haskell-users mailing list