No - ghc is quite right on this one.  The use of x in the module
disambiguates the overloading of x here - any use of x in the module
that resolves the overloading should make the monomorphism rule
happy.  Unfortunately, hugs applies defaulting too soon and the use of
x that would satisfy monomorphism isn't considered before defaulting
is applied.  This is a know bug in Hugs.

  John
 

Reply via email to