[Haskell] PROPOSAL: class aliases
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