Functional dependencies question

Iavor Diatchki
Wed, 14 May 2003 11:58:22 -0700


Simon Peyton-Jones wrote:
> It is undoubtedly odd that adding an instance declaration makes a legal
> program illegal, and that might be a reason for relaxing the rule... but
> it's not entirely easy to implement such a relaxation.

this has always been the case, unless i am misunderstanding what you are 
for exampel adding the instance:

instance Show Int

will make any valid program invalid

bye iavor