shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Add missing Real instance.

--- a/lib/Data/Ratio.hs

+++ b/lib/Data/Ratio.hs

@@ -16,6 +16,7 @@

 import Data.Num

 import Data.Ord

 import Data.Ratio_Type

+import Data.Real

 import Text.Show

 {- in Data.Ratio_Type

@@ -70,6 +71,9 @@

                        showsPrec 8 x .

                        showString " % " .

                        showsPrec 8 y

+

+instance forall a . (Integral a, Ord a) => Real (Ratio a) where

+  toRational (x :% y) = toInteger x :% toInteger y

 rationalInfinity :: Rational

 rationalInfinity = 1 :% 0

-- 

⑨