Re: Mixture of Integer and Float arithmetic without "fromIntegral"?

...

module Defs where

n = 3 x = 12.3

test = ceiling (x / n)

There are people (including me) who think that the monomorphism restriction rule, which makes the above definitions without type signatures monomorphic and thus defaulted to concrete types, should be removed.

If you want to experiment with an implementation that do not enforce the monomorphism restriction, try nhc98. It happily infers the types n :: Num a => a x :: Fractional a => a for the toplevel definitions shown. I don't think anyone has ever complained about this feature. Regards, Malcolm