Re: Implict parameters and monomorphism

[Lennart Augustsson]

Simon Peyton-Jones wrote:

> John: just to check, you do realise that (B) means
>
> a) That adding a type signature can change the dynamic semantics
>     of the program.  This would be the first and only occurrence of
>     such behaviour.

Not so, there are already Haskell program that give a different
results with and without type signatures.

    -- Lennart



_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell