
27 Oct
2005
27 Oct
'05
9:02 p.m.
Hi, Hugs leaves an odd context when showing the type of the following expression. Is this a bug or just a harmless flaw? Christian Hugs.Base> :t toRational 1 / 2 toRational 1 / 2 :: Real a => Ratio Integer ghci yields: Prelude> :t toRational 1 / 2 <interactive>:1:0: Warning: Defaulting the following constraint(s) to type `Integer' `Real a' arising from use of `toRational' at <interactive>:1:0-9 In the first argument of `(/)', namely `toRational 1' toRational 1 / 2 :: Rational