[Haskell-cafe] coercion to Int

30 Dec 2004


      what coercion can i use to get the below program to compile?

i see
    class  (Real a, Fractional a) => RealFrac a  where
    round  :: (Integral b) => a -> b

and
    class  (Fractional a) => Floating a  where
    sqrt      :: a -> a


fillK_ :: Int -> Int
fillK_ x = round (sqrt x)         -- line 2


Hugs session for:
H:\Program Files\Hugs98\lib\Prelude.hs
Prelude> :load xva
Reading file "xva.hs":
Type checking
ERROR "xva.hs":2 - Instances of (RealFrac Int, Floating Int) required for
definition of fillK_

[Haskell-cafe] coercion to Int

lothar