[Haskell] A puzzle and an annoying feature
k.schupke at imperial.ac.uk
Thu Nov 25 15:24:10 EST 2004
Daan Leijen wrote:
> You are right, I feel like that too: one should expect that the type
> checker can figure this out, and perhaps it is even really useful.
> On the other hand, suppose you decide later to export the
> class, and suddenly your code would no longer type check.
I must have missed a mail... how could adding an export change the
> The fact that adding an export defintion would lead to a type
> error somewhere else in the code might be rather confusing.
> (worse! it might be considered inelegant :-)
More information about the Haskell