Re: Inferring from context declarations

[Lennart Augustsson]

> Simon Peyton Jones' comments about dictionary passing are a red herring,
> since they assume a particular form of compiler.  Various (MLj, MLton)
> ML compilers already inline out all polymorphism.
ML is a language where you can do this.  In Haskell it is not always
possible to eliminate all polymorphism (due to polymorphic recursion).

        -- Lennart

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