module ShouldSucceed where

-- !!! monomorphism restriction and defaulting

x = 3

main = print $ 6 / x

{-
Hugs 1.4 complains: ERROR "Strange.hs" (line 3): Int is not an
instance of class "Fractional".  GHC however compiles the program.
Substitute for x and Hugs is happy.  What's going on?

I haven't studied the numeric classes much so perhaps I'm missing
something obvious here.  (I see that the bugs page alludes to some 1.4
features not in Hugs leading to type errors.  If this is it, maybe you
should give it as an example?)

  Bjarte

------- Message 2

Date:    Wed, 25 Feb 98 14:01:35 -0500
From:    "John C. Peterson" <peterson-john@CS.YALE.EDU>
To:      bjartem@idi.ntnu.no
cc:      hugs-bugs@CS.YALE.EDU
Subject: Re: Fractional and Int?

This is a known hugs bug.  x should be monomorphic, allowing the usage
in main to constrain it to Fractional.  Instead, it is generalized and
then defaulted to Int without being influenced by main.  So ghc is
right and hugs is wrong on this one.  I expect this will be fixed
eventually. 

   John
-}