Haskell' - class aliases

Simon Peyton-Jones simonpj at microsoft.com
Tue May 6 04:55:42 EDT 2008


| which leads me to a problem i have with ATs, which applies
| to class aliases as well: although the ATs are written as if they
| were local to the class, they get lifted out of the class in a naive
| manner. in particular, they can only refer to their parameters,
| not to other local definitions/types, and their parameters have
| to match the class parameters.

I'm not sure what you mean here, Claus.  Can you give a concrete example?

Simon


More information about the Haskell-prime mailing list