[Haskell] PROPOSAL: class aliases

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Thu Oct 13 06:48:17 EDT 2005

Andres Loeh <loeh at iai.uni-bonn.de> writes:

> The way I understand the proposal, there are no FooBar dictionaries
> ever. John said that this can be translated by a source-to-source
> translation, so internally, a FooBar dictionary *is* a Foo and a
> Bar dictionary.

Ah yes, I was misled by the syntax, which suggested a superclass
relationship, and therefore a combined dictionary.  I see now the
improved syntax proposal which makes the absence much clearer.


More information about the Haskell mailing list