A build of GHC downloaded from the anoncvs repository last night and running on
Sparc-Solaris
produced the following messages. I attach a copy of PrelNumExtra.hi.
../../../ghc/driver/ghc -recomp -cpp -fglasgow-exts -fvia-C -Rghc-timing -O
-split-objs -odir PrelRead -H20m -fcompiling-prelude -static -H20m -H30m -c
PrelRead.lhs -o PrelRead.o -osuf o
ghc: ignoring heap-size-setting option (-H20m)...not the largest seen
ghc: ignoring heap-size-setting option (-H20m)...not the largest seen
PrelNumExtra.hi:434:
Unexpected forall type: forall b :: *.
PrelNum.Integral b -> PrelNum.Ratio a -> (b, PrelNum.Ratio
a)
PrelNumExtra.hi:434:
Unexpected forall type: forall b :: *.
PrelNum.Integral b -> PrelNum.Ratio a -> b
PrelNumExtra.hi:434:
Unexpected forall type: forall b :: *.
PrelNum.Integral b -> PrelNum.Ratio a -> b
PrelNumExtra.hi:434:
Unexpected forall type: forall b :: *.
PrelNum.Integral b -> PrelNum.Ratio a -> b
PrelNumExtra.hi:434:
Unexpected forall type: forall b :: *.
PrelNum.Integral b -> PrelNum.Ratio a -> b
Compilation had errors
__interface PrelNumExtra 1 ! 404 where
__export PrelNumExtra FFFormat{FFExponent FFFixed FFGeneric} acosDouble acosFloat
approxRational asinDouble asinFloat atanDouble atanFloat bounded_iterator cosDouble
cosFloat coshDouble coshFloat divideDouble divideFloat double2Float double2Int drop0
encodeDoublezh encodeFloatzh eqDouble eqFloat expDouble expFloat expt expts
float2Double float2Int floatToDigits formatRealFloat fromIntegral fromRat fromRatzq
geDouble geFloat gtDouble gtFloat int2Double int2Float int_encodeDoublezh
int_encodeFloatzh integerLogBase isDoubleDenormalizzed isDoubleInfinite isDoubleNaN
isDoubleNegativeZZero isFloatDenormalizzed isFloatInfinite isFloatNaN
isFloatNegativeZZero leDouble leFloat logDouble logFloat ltDouble ltFloat maxExpt
minExpt minusDouble minusFloat neDouble neFloat negateDouble negateFloat normalizze
numericEnumFrom numericEnumFromThen numericEnumFromThenTo numericEnumFromTo plusDouble
plusFloat powerDouble powerFloat prR ratio_prec realToFrac roundTo scaleRat showFloat
showRational showSigned sinDouble sinFloat sinhDouble sinhFloat sqrtDouble sqrtFloat
startExpExp tanDouble tanFloat tanhDouble tanhFloat timesDouble timesFloat;
import Ix 1 :: Ix 1 Ix 1 Ix 1 lvl28 1 lvl29 1 lvl32 1 lvl33 1 lvl34 1 lvl35 1
rangeSizze 1 tpl 1 tpl1 1 tpl10 1 tpl11 1 tpl12 1 tpl13 1 tpl14 1 tpl15 1 tpl16 1
tpl17 1 tpl18 1 tpl19 1 tpl2 1 tpl20 1 tpl21 1 tpl3 1 tpl4 1 tpl5 1 tpl6 1 tpl7 1 tpl8
1 tpl9 1 zddOrd 1 zddOrd1 1 zddmindex 1 zddmunsafeIndex 1 zdfIxBool 1 zdfIxChar 1
zdfIxInt 1 zdfIxInteger 1 zdfIxOrdering 1 zdfIxZ0T 1 zdfIxZ1T 1 zdfIxZ2T 1 zdfIxZ3T 1
zdfIxZ4T 1 zdsinRange 1 zdsinRange1 1 zdsinRange2 1 zdsindexError1 1 zdsindexError2 1
zdsindexError3 1 zdsrange 1 zdsrangeSizze 1 zdsrangeSizze1 1 zdsunsafeIndex 1
zdsunsafeIndex1 1 zdsunsafeIndex2 1 zdszddmindex 1 zdszddmindex1 1 zdszdfIxZ1T 1
zdszdfIxZ2T 1 zdwtpl 1 zdwtpl1 1 zdwtpl2 1 zdwtpl3 1 zdwtpl4 1 zdwtpl5 1 zdwtpl6 1
zdwtpl7 1 zdwtpl8 1 zdwtpl9 1 zdwzdfIxZ1T 1 zdwzdfIxZ2T 1 zdwzdfIxZ3T 1 zdwzdfIxZ4T 1
zdwzdsinRange 1 zdwzdsinRange1 1 zdwzdsinRange2 1 zdwzdsrangeSizze 1 zdwzdsrangeSizze1
1 zdwzdsunsafeIndex 1 zdwzdsunsafeIndex1 1;
import Maybe 1 :: fromMaybe 1;
import Monad 1 ::;
import PrelAddr 1 ! ::;
import PrelArr 1 ! :: Array 1 MutableByteArray 1 arrEleBottom 1 array 1 done 1 fill 1
zdszn 1 zdwzdszn 1 zn 1;
import PrelBase 1 :: Eq 1 Eq 1 Eq 1 Eq 1 Eq 1 Monad 1 Monad 1 Ord 1 Ord 1 Ord 1 Ord 1
Ordering 1 String 1 addr2Integer 1 append 1 augment 1 build 1 chr 1 compare1 1
compareInt 1 con2tag_Boolzh 1 con2tag_Orderingzh 1 foldr 1 lvl 1 map 1 mapFB 1 mapList
1 minusInt 1 negateInt 1 not 1 oneInt 1 ord 1 otherwise 1 plusInt 1 timesInt 1 tpl 1
tpl1 1 tpl10 1 tpl11 1 tpl12 1 tpl13 1 tpl14 1 tpl15 1 tpl16 1 tpl17 1 tpl18 1 tpl19 1
tpl2 1 tpl20 1 tpl21 1 tpl22 1 tpl23 1 tpl24 1 tpl25 1 tpl26 1 tpl27 1 tpl28 1 tpl29 1
tpl3 1 tpl30 1 tpl31 1 tpl32 1 tpl33 1 tpl34 1 tpl35 1 tpl36 1 tpl37 1 tpl38 1 tpl39 1
tpl4 1 tpl40 1 tpl41 1 tpl42 1 tpl43 1 tpl44 1 tpl45 1 tpl46 1 tpl47 1 tpl48 1 tpl49 1
tpl5 1 tpl50 1 tpl51 1 tpl52 1 tpl53 1 tpl6 1 tpl7 1 tpl8 1 tpl9 1 twoInt 1 zaza 1
zbzb 1 zd 1 zddmcompare 1 zddmfail 1 zddmmax 1 zddmmin 1 zddmzeze 1 zddmzg 1 zddmzgze
1 zddmzgzg 1 zddmzl 1 zddmzlze 1 zddmzsze 1 zdfEqBool 1 zdfEqChar 1 zdfEqInt 1
zdfEqInteger 1 zdfEqOrdering 1 zdfEqZ0T 1 zdfEqZMZN 1 zdfMonadZMZN 1 zdfOrdBool 1
zdfOrdChar 1 zdfOrdInt 1 zdfOrdOrdering 1 zdfOrdZ0T 1 zdfOrdZMZN 1 zdscompare 1
zdszddmcompare 1 zdszdfEqZMZN 1 zdszdfOrdZMZN 1 zdszeze 1 zdszlze 1 zdwchr 1
zdwcompareInt 1 zdwtpl 1 zdwtpl1 1 zdwtpl2 1 zdwtpl3 1 zdwzdfEqZMZN 1 zdwzdfOrdZMZN 1
zdwzdszddmcompare 1 zeze1 1 zi 1 zpzp 1 zzeroInt 1;
import PrelCCall 1 ! ::;
import PrelDynamic 1 ::;
import PrelEnum 1 :: Enum 1 Enum 1 efdCharFB 1 efdCharList 1 efdIntFB 1 efdIntList 1
efdtCharFB 1 efdtCharList 1 efdtIntFB 1 efdtIntList 1 eftCharFB 1 eftCharList 1
eftIntFB 1 eftIntList 1 go 1 go1 1 go2 1 go3 1 go4 1 go5 1 go6 1 lvl 1 lvl1 1 lvl10 1
lvl11 1 lvl12 1 lvl13 1 lvl14 1 lvl15 1 lvl16 1 lvl17 1 lvl18 1 lvl19 1 lvl2 1 lvl20 1
lvl21 1 lvl22 1 lvl23 1 lvl24 1 lvl3 1 lvl6 1 lvl7 1 lvl8 1 lvl9 1 tpl 1 tpl1 1 tpl10
1 tpl11 1 tpl12 1 tpl13 1 tpl14 1 tpl15 1 tpl16 1 tpl17 1 tpl18 1 tpl19 1 tpl2 1 tpl20
1 tpl21 1 tpl22 1 tpl23 1 tpl24 1 tpl25 1 tpl3 1 tpl4 1 tpl5 1 tpl6 1 tpl7 1 tpl8 1
tpl9 1 zddmenumFromThenTo 1 zddmenumFromTo 1 zddmpred 1 zddmsucc 1 zdfEnumBool 1
zdfEnumChar 1 zdfEnumInt 1 zdfEnumOrdering 1 zdfEnumZ0T 1 zdsenumFromBounded 1
zdsenumFromBounded1 1 zdsenumFromThenBounded 1 zdsenumFromThenBounded1 1 zdsfromEnum 1
zdsfromEnum1 1 zdstoEnum 1 zdstoEnum1 1 zdszddmenumFromThenTo 1 zdszddmenumFromThenTo1
1 zdszddmenumFromTo 1 zdszddmenumFromTo1 1 zdwtpl 1 zdwtpl1 1 zdwtpl2 1 zdwtpl3 1;
import PrelErr 1 ::;
import PrelException 1 ::;
import PrelGHC 2 ::;
import PrelIOBase 1 ! ::;
import PrelList 1 ! :: drop 1 dropzh 1 filterFB 1 filterList 1 init 1 iterate 1
iterateFB 1 iterateList 1 lvl1 1 lvl11 1 lvl12 1 lvl13 1 lvl14 1 lvl23 1 lvl8 1 null 1
repeat 1 repeatFB 1 repeatList 1 replicate 1 reverse 1 splitAt 1 splitAtzh 1 take 1
takeUInt_append 1 takeWhile 1 take_unsafe_UInt 1 take_unsafe_UInt_append 1 zdwlen 1;
import PrelMaybe 1 :: Maybe 1 tpl 1 tpl1 1 tpl2 1 zdfEqMaybe 1 zdfMonadMaybe 1
zdfOrdMaybe 1 zdwzdfEqMaybe 1 zdwzdfOrdMaybe 1;
import PrelNum 1 ! :: Floating 1 Floating 1 Fractional 1 Fractional 1 Integral 1
Integral 1 Integral 1 Num 1 Num 1 Num 1 Ratio 1 Rational 1 Real 1 Real 1 Real 1
RealFloat 1 RealFrac 1 denominator 1 dn_fb 1 dn_list 1 enumDeltaIntegerFB 1
enumDeltaIntegerList 1 enumDeltaToIntegerFB 1 enumDeltaToIntegerList 1 even 1 f 1
gcdzq 1 jtos 1 jtoszq 1 lit 1 lit1 1 lit2 1 lit3 1 lvl 1 lvl1 1 lvl11 1 lvl12 1 lvl13
1 lvl14 1 lvl15 1 lvl16 1 lvl17 1 lvl18 1 lvl19 1 lvl20 1 lvl21 1 lvl5 1 lvl6 1 lvl7 1
lvl8 1 numerator 1 reduce 1 s1 1 showSignedInteger 1 shows1 1 tpl 1 tpl1 1 tpl10 1
tpl11 1 tpl12 1 tpl13 1 tpl14 1 tpl15 1 tpl16 1 tpl17 1 tpl18 1 tpl19 1 tpl2 1 tpl20 1
tpl21 1 tpl22 1 tpl23 1 tpl24 1 tpl25 1 tpl26 1 tpl27 1 tpl28 1 tpl29 1 tpl3 1 tpl30 1
tpl31 1 tpl32 1 tpl33 1 tpl34 1 tpl35 1 tpl36 1 tpl37 1 tpl38 1 tpl39 1 tpl4 1 tpl40 1
tpl41 1 tpl5 1 tpl6 1 tpl7 1 tpl8 1 tpl9 1 up_fb 1 up_list 1 zddmatan2 1 zddmceiling 1
zddmdiv 1 zddmdivMod 1 zddmexponent 1 zddmfloor 1 zddmfromInt 1 zddmlogBase 1 zddmmod
1 zddmnegate 1 zddmquot 1 zddmrecip 1 zddmrem 1 zddmround 1 zddmscaleFloat 1
zddmsignificand 1 zddmsqrt 1 zddmtan 1 zddmtanh 1 zddmtruncate 1 zddmzm 1 zddmzs 1
zddmztzt 1 zdfEnumInteger 1 zdfEqRatio 1 zdfIntegralInt 1 zdfIntegralInteger 1
zdfNumInt 1 zdfNumInteger 1 zdfOrdInteger 1 zdfRealInt 1 zdfRealInteger 1
zdfShowInteger 1 zdseven 1 zdseven1 1 zdsgcd1 1 zdsquot 1 zdsquot1 1 zdsreduce 1
zdsrem 1 zdsrem1 1 zdszm 1 zdszt 1 zdszt1 1 zdszu 1 zdszu1 1 zdszu2 1 zdszv 1 zdwf 1
zdwf1 1 zdwtpl 1 zdwtpl1 1 zdwtpl2 1 zdwtpl3 1 zdwtpl4 1 zdwtpl5 1 zdwtpl6 1 zdwtpl7 1
zdwzdfEqRatio 1 zdwzdsquot 1 zdwzdsrem 1 zdwzdszu 1 zdwzdszu1 1 zu 1 zuzu 1 zv 1;
import PrelPack 1 :: bot 1 packCStringzh 1 unpackAppendCStringzh 1 unpackCStringzh 1
unpackFoldrCStringzh 1 unpackNByteszh 1 zdwfill_in 1;
import PrelST 1 :: ST 1 STRep 1 runST 1 runSTRep 1;
import PrelShow 1 :: Show 1 Show 1 Show 1 ShowS 1 intToDigit 1 itos 1 lvl 1 lvl15 1
lvl16 1 lvl17 1 lvl18 1 lvl19 1 lvl2 1 lvl20 1 lvl29 1 lvl3 1 lvl30 1 lvl31 1 s1 1 s16
1 s17 1 s18 1 s2 1 s22 1 s23 1 s27 1 s3 1 s4 1 s5 1 s6 1 showChar 1 showList__ 1
showParen 1 showSignedInt 1 showString 1 showl 1 shows 1 tpl64 1 tpl65 1 tpl67 1 tpl68
1 tpl69 1 tpl70 1 tpl71 1 tpl72 1 tpl73 1 tpl74 1 tpl75 1 tpl76 1 tpl77 1 tpl78 1
zddmshow 1 zddmshowList 1 zddmshowsPrec 1 zdfShowBool 1 zdfShowChar 1 zdfShowInt 1
zdfShowMaybe 1 zdfShowOrdering 1 zdfShowZ0T 1 zdfShowZ1T 1 zdfShowZ2T 1 zdfShowZ3T 1
zdfShowZ4T 1 zdfShowZMZN 1 zdwintToDigit 1 zdwshowLitChar 1 zdwshowSignedInt 1 zdwtpl
1 zdwzdfShowMaybe 1 zdwzdfShowZ1T 1 zdwzdfShowZ2T 1 zdwzdfShowZ3T 1 zdwzdfShowZ4T 1
zdwzdfShowZMZN 1;
import PrelTup 1 :: zdfEqZ1T 1 zdfEqZ2T 1 zdfEqZ3T 1 zdfEqZ4T 1 zdfOrdZ1T 1 zdfOrdZ2T
1 zdfOrdZ3T 1 zdfOrdZ4T 1 zdwzdfEqZ1T 1 zdwzdfEqZ2T 1 zdwzdfEqZ3T 1 zdwzdfEqZ4T 1
zdwzdfOrdZ1T 1 zdwzdfOrdZ2T 1 zdwzdfOrdZ3T 1 zdwzdfOrdZ4T 1;
instance {PrelEnum.Enum PrelBase.Double} = zdfEnumDouble;
instance {PrelEnum.Enum PrelBase.Float} = zdfEnumFloat;
instance __forall [a] => {PrelNum.Integral a} -> {PrelEnum.Enum (PrelNum.Ratio a)} =
zdfEnumRatio;
instance {PrelBase.Eq PrelBase.Double} = zdfEqDouble;
instance {PrelBase.Eq PrelBase.Float} = zdfEqFloat;
instance {PrelNum.Floating PrelBase.Double} = zdfFloatingDouble;
instance {PrelNum.Floating PrelBase.Float} = zdfFloatingFloat;
instance {PrelNum.Fractional PrelBase.Double} = zdfFractionalDouble;
instance {PrelNum.Fractional PrelBase.Float} = zdfFractionalFloat;
instance __forall [a] => {PrelNum.Integral a} -> {PrelNum.Fractional (PrelNum.Ratio
a)} = zdfFractionalRatio;
instance {PrelNum.Num PrelBase.Double} = zdfNumDouble;
instance {PrelNum.Num PrelBase.Float} = zdfNumFloat;
instance __forall [a] => {PrelNum.Integral a} -> {PrelNum.Num (PrelNum.Ratio a)} =
zdfNumRatio;
instance {PrelBase.Ord PrelBase.Double} = zdfOrdDouble;
instance {PrelBase.Ord PrelBase.Float} = zdfOrdFloat;
instance __forall [a] => {PrelNum.Integral a} -> {PrelBase.Ord (PrelNum.Ratio a)} =
zdfOrdRatio;
instance {PrelNum.Real PrelBase.Double} = zdfRealDouble;
instance {PrelNum.Real PrelBase.Float} = zdfRealFloat;
instance {PrelNum.RealFloat PrelBase.Double} = zdfRealFloatDouble;
instance {PrelNum.RealFloat PrelBase.Float} = zdfRealFloatFloat;
instance {PrelNum.RealFrac PrelBase.Double} = zdfRealFracDouble;
instance {PrelNum.RealFrac PrelBase.Float} = zdfRealFracFloat;
instance __forall [a] => {PrelNum.Integral a} -> {PrelNum.RealFrac (PrelNum.Ratio a)}
= zdfRealFracRatio;
instance __forall [a] => {PrelNum.Integral a} -> {PrelNum.Real (PrelNum.Ratio a)} =
zdfRealRatio;
instance {PrelShow.Show PrelBase.Double} = zdfShowDouble;
instance {PrelShow.Show PrelBase.Float} = zdfShowFloat;
instance __forall [a] => {PrelNum.Integral a} -> {PrelShow.Show (PrelNum.Ratio a)} =
zdfShowRatio;
1 acosDouble :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> case
PrelGHC.acosDoublezh {x} of tpl34 { __DEFAULT -> PrelBase.Dzh {tpl34} } }) ##-} ;
1 acosFloat :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> case PrelGHC.acosFloatzh
{x} of tpl34 { __DEFAULT -> PrelBase.Fzh {tpl34} } }) ##-} ;
1 approxRational :: __forall [a] => {PrelNum.RealFrac a} -> a -> a -> PrelNum.Rational
{-## __A 1 ##-} ;
1 asinDouble :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> case
PrelGHC.asinDoublezh {x} of tpl34 { __DEFAULT -> PrelBase.Dzh {tpl34} } }) ##-} ;
1 asinFloat :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> case PrelGHC.asinFloatzh
{x} of tpl34 { __DEFAULT -> PrelBase.Fzh {tpl34} } }) ##-} ;
1 atanDouble :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.atanDoublezh {x} } in PrelBase.Dzh {tpl34} }) ##-} ;
1 atanFloat :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.atanFloatzh {x} } in PrelBase.Fzh {tpl34} }) ##-} ;
1 bounded_iterator :: __forall [a] => {PrelBase.Ord a} -> {PrelNum.Num a} ->
PrelBase.Bool -> a -> a -> [a] {-## __A 2 ##-} ;
1 ceiling :: __forall [b] => {PrelNum.Integral b} -> PrelBase.Float -> b {-## __A 1
__U (\ @ b zddIntegral :: {PrelNum.Integral b} -> let { zddNum :: {PrelNum.Num b} =
case zddIntegral of tpl39 { PrelNum.ZCDIntegral tpl40 tpl41 tpl42 tpl43 tpl44 tpl45
tpl46 tpl47 tpl48 tpl49 -> case tpl40 of tpl50 { PrelNum.ZCDReal tpl51 tpl52 tpl53 ->
tpl51 } } } in let { lit9 :: b = case zddNum of tpl39 { PrelNum.ZCDNum tpl40 tpl41
tpl42 tpl43 tpl44 tpl45 tpl46 tpl47 tpl48 tpl49 -> tpl49 lvl9 } } in let { zp :: (b ->
b -> b) = case zddNum of tpl39 { PrelNum.ZCDNum tpl40 tpl41 tpl42 tpl43 tpl44 tpl45
tpl46 tpl47 tpl48 tpl49 -> tpl42 } } in let { properFraction1 :: (PrelBase.Float ->
(b, PrelBase.Float)) = properFraction @ b zddIntegral } in \ x :: PrelBase.Float ->
case properFraction1 x of wild { (n, r) -> case r of wild1 { PrelBase.Fzh x1 -> case
PrelGHC.gtFloatzh {x1 __float 0.0} of wild2 { PrelBase.True -> zp n lit9;
PrelBase.False -> n } } }) ##-} ;
1 ceiling1 :: __forall [b] => {PrelNum.Integral b} -> PrelBase.Double -> b {-## __A 1
__U (\ @ b zddIntegral :: {PrelNum.Integral b} -> let { zddNum :: {PrelNum.Num b} =
case zddIntegral of tpl39 { PrelNum.ZCDIntegral tpl40 tpl41 tpl42 tpl43 tpl44 tpl45
tpl46 tpl47 tpl48 tpl49 -> case tpl40 of tpl50 { PrelNum.ZCDReal tpl51 tpl52 tpl53 ->
tpl51 } } } in let { lit9 :: b = case zddNum of tpl39 { PrelNum.ZCDNum tpl40 tpl41
tpl42 tpl43 tpl44 tpl45 tpl46 tpl47 tpl48 tpl49 -> tpl49 lvl9 } } in let { zp :: (b ->
b -> b) = case zddNum of tpl39 { PrelNum.ZCDNum tpl40 tpl41 tpl42 tpl43 tpl44 tpl45
tpl46 tpl47 tpl48 tpl49 -> tpl42 } } in let { properFraction2 :: (PrelBase.Double ->
(b, PrelBase.Double)) = properFraction1 @ b zddIntegral } in \ x :: PrelBase.Double
-> case properFraction2 x of wild { (n, r) -> case r of wild1 { PrelBase.Dzh x1 ->
case PrelGHC.zgzhzh {x1 0.0} of wild2 { PrelBase.True -> zp n lit9; PrelBase.False ->
n } } }) ##-} ;
1 cosDouble :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.cosDoublezh {x} } in PrelBase.Dzh {tpl34} }) ##-} ;
1 cosFloat :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.cosFloatzh {x} } in PrelBase.Fzh {tpl34} }) ##-} ;
1 coshDouble :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.coshDoublezh {x} } in PrelBase.Dzh {tpl34} }) ##-} ;
1 coshFloat :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.coshFloatzh {x} } in PrelBase.Fzh {tpl34} }) ##-} ;
1 data FFFormat = FFExponent | FFFixed | FFGeneric ;
1 divideDouble :: PrelBase.Double -> PrelBase.Double -> PrelBase.Double {-## __A 2 __C
__M (-) __S U(P)U(P) __P zdwdivideDouble ##-} ;
1 divideFloat :: PrelBase.Float -> PrelBase.Float -> PrelBase.Float {-## __A 2 __C __M
(-) __S U(P)U(P) __P zdwdivideFloat ##-} ;
1 double2Float :: PrelBase.Double -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P)
__U (\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.double2Floatzh {x} } in PrelBase.Fzh {tpl34} }) ##-} ;
1 double2Int :: PrelBase.Double -> PrelBase.Int {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> let { tpl34 ::
PrelGHC.Intzh = PrelGHC.double2Intzh {x} } in PrelBase.Izh {tpl34} }) ##-} ;
1 drop0 :: PrelBase.String -> PrelBase.String -> PrelBase.String {-## __A 2 __C __S SL
__U (\ ds2 :: PrelBase.String rs :: PrelBase.String -> case ds2 of wild { PrelBase.ZC
c cs -> let { tpl34 :: [PrelBase.Char] = case dropTrailing0s cs of wild1 {
PrelMaybe.Just v -> v; PrelMaybe.Nothing -> rs } } in PrelBase.ZC {@ PrelBase.Char c
tpl34}; PrelBase.ZMZN -> rs }) ##-} ;
1 dropTrailing0s :: [PrelBase.Char] -> PrelMaybe.Maybe [PrelBase.Char] {-## __A 1 __C
__S S ##-} ;
1 encodeDoublezh :: PrelGHC.Intzh -> PrelGHC.ByteArrayzh -> PrelBase.Int ->
PrelBase.Double {-## __A 3 __C __M (-) __S PPU(P) __P zdwencodeDoublezh ##-} ;
1 encodeFloatzh :: PrelGHC.Intzh -> PrelGHC.ByteArrayzh -> PrelBase.Int ->
PrelBase.Float {-## __A 3 __C __M (-) __S PPU(P) __P zdwencodeFloatzh ##-} ;
1 eqDouble :: PrelBase.Double -> PrelBase.Double -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2 of wild {
PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> PrelGHC.zezezhzh {x y} } })
##-} ;
1 eqFloat :: PrelBase.Float -> PrelBase.Float -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of wild {
PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> PrelGHC.eqFloatzh {x y} } })
##-} ;
1 expDouble :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.expDoublezh {x} } in PrelBase.Dzh {tpl34} }) ##-} ;
1 expFloat :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.expFloatzh {x} } in PrelBase.Fzh {tpl34} }) ##-} ;
1 expt :: PrelBase.Integer -> PrelBase.Int -> PrelBase.Integer {-## __A 2 __S SU(P)
__P zdwexpt ##-} ;
1 expts :: PrelArr.Array PrelBase.Int PrelBase.Integer {-## __A 0 ##-} ;
1 float2Double :: PrelBase.Float -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P)
__U (\ ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.float2Doublezh {x} } in PrelBase.Dzh {tpl34} }) ##-} ;
1 float2Int :: PrelBase.Float -> PrelBase.Int {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> let { tpl34 ::
PrelGHC.Intzh = PrelGHC.float2Intzh {x} } in PrelBase.Izh {tpl34} }) ##-} ;
1 floatToDigits :: __forall [a] => {PrelNum.RealFloat a} -> PrelBase.Integer -> a ->
([PrelBase.Int], PrelBase.Int) {-## __A 1 ##-} ;
1 floor :: __forall [b] => {PrelNum.Integral b} -> PrelBase.Float -> b {-## __A 1 __U
(\ @ b zddIntegral :: {PrelNum.Integral b} -> let { zddNum :: {PrelNum.Num b} = case
zddIntegral of tpl39 { PrelNum.ZCDIntegral tpl40 tpl41 tpl42 tpl43 tpl44 tpl45 tpl46
tpl47 tpl48 tpl49 -> case tpl40 of tpl50 { PrelNum.ZCDReal tpl51 tpl52 tpl53 -> tpl51
} } } in let { lit9 :: b = case zddNum of tpl39 { PrelNum.ZCDNum tpl40 tpl41 tpl42
tpl43 tpl44 tpl45 tpl46 tpl47 tpl48 tpl49 -> tpl49 lvl9 } } in let { zm :: (b -> b ->
b) = case zddNum of tpl39 { PrelNum.ZCDNum tpl40 tpl41 tpl42 tpl43 tpl44 tpl45 tpl46
tpl47 tpl48 tpl49 -> tpl43 } } in let { properFraction1 :: (PrelBase.Float -> (b,
PrelBase.Float)) = properFraction @ b zddIntegral } in \ x :: PrelBase.Float -> case
properFraction1 x of wild { (n, r) -> case r of wild1 { PrelBase.Fzh x1 -> case
PrelGHC.ltFloatzh {x1 __float 0.0} of wild2 { PrelBase.True -> zm n lit9;
PrelBase.False -> n } } }) ##-} ;
1 floor1 :: __forall [b] => {PrelNum.Integral b} -> PrelBase.Double -> b {-## __A 1
__U (\ @ b zddIntegral :: {PrelNum.Integral b} -> let { zddNum :: {PrelNum.Num b} =
case zddIntegral of tpl39 { PrelNum.ZCDIntegral tpl40 tpl41 tpl42 tpl43 tpl44 tpl45
tpl46 tpl47 tpl48 tpl49 -> case tpl40 of tpl50 { PrelNum.ZCDReal tpl51 tpl52 tpl53 ->
tpl51 } } } in let { lit9 :: b = case zddNum of tpl39 { PrelNum.ZCDNum tpl40 tpl41
tpl42 tpl43 tpl44 tpl45 tpl46 tpl47 tpl48 tpl49 -> tpl49 lvl9 } } in let { zm :: (b ->
b -> b) = case zddNum of tpl39 { PrelNum.ZCDNum tpl40 tpl41 tpl42 tpl43 tpl44 tpl45
tpl46 tpl47 tpl48 tpl49 -> tpl43 } } in let { properFraction2 :: (PrelBase.Double ->
(b, PrelBase.Double)) = properFraction1 @ b zddIntegral } in \ x :: PrelBase.Double
-> case properFraction2 x of wild { (n, r) -> case r of wild1 { PrelBase.Dzh x1 ->
case PrelGHC.zlzhzh {x1 0.0} of wild2 { PrelBase.True -> zm n lit9; PrelBase.False ->
n } } }) ##-} ;
1 formatRealFloat :: __forall [a] => {PrelNum.RealFloat a} -> FFFormat ->
PrelMaybe.Maybe PrelBase.Int -> a -> PrelBase.String {-## __A 1 ##-} ;
1 fromIntegral :: __forall [a b] => {PrelNum.Integral a} -> {PrelNum.Num b} -> a -> b
{-## __A 3 __C __S Lu(AAAAAAAASA)L __U (\ @ a @ b zddIntegral :: {PrelNum.Integral a}
zddNum :: {PrelNum.Num b} x :: a -> case zddNum of tpl34 { PrelNum.ZCDNum tpl35 tpl36
tpl37 tpl38 tpl39 tpl40 tpl41 tpl42 tpl43 tpl44 -> tpl43 (case zddIntegral of tpl45 {
PrelNum.ZCDIntegral tpl46 tpl47 tpl48 tpl49 tpl50 tpl51 tpl52 tpl53 tpl54 tpl55 ->
tpl54 x }) }) ##-} ;
1 fromRat :: __forall [a] => {PrelNum.RealFloat a} -> PrelNum.Rational -> a {-## __A 1
__U (\ @ a zddRealFloat :: {PrelNum.RealFloat a} -> let { fromRatzq1 ::
(PrelNum.Rational -> a) = fromRatzq @ a zddRealFloat } in let { negate :: (a -> a) =
case zddRealFloat of tpl91 { PrelNum.ZCDRealFloat tpl92 tpl93 tpl94 tpl95 tpl96 tpl97
tpl98 tpl99 tpl100 tpl101 tpl102 tpl103 tpl104 tpl105 tpl106 tpl107 -> case tpl92 of
tpl108 { PrelNum.ZCDRealFrac tpl109 tpl110 tpl111 tpl112 tpl113 tpl114 tpl115 -> case
tpl109 of tpl116 { PrelNum.ZCDReal tpl117 tpl118 tpl119 -> case tpl117 of tpl120 {
PrelNum.ZCDNum tpl121 tpl122 tpl123 tpl124 tpl125 tpl126 tpl127 tpl128 tpl129 tpl130
-> tpl126 } } } } } in let { lvl56 :: a = case zddRealFloat of tpl91 {
PrelNum.ZCDRealFloat tpl92 tpl93 tpl94 tpl95 tpl96 tpl97 tpl98 tpl99 tpl100 tpl101
tpl102 tpl103 tpl104 tpl105 tpl106 tpl107 -> tpl98 lit8 minExpt } } in \ x ::
PrelNum.Rational -> case zeze x lit9 of wild { PrelBase.True -> lvl56; PrelBase.False
-> case tpl21 x lit9 of wild1 { PrelBase.True -> negate (fromRatzq1 (tpl25 x));
PrelBase.False -> fromRatzq1 x } }) ##-} ;
1 fromRatzq :: __forall [a] => {PrelNum.RealFloat a} -> PrelNum.Rational -> a {-## __A
1 ##-} ;
1 geDouble :: PrelBase.Double -> PrelBase.Double -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2 of wild {
PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> PrelGHC.zgzezhzh {x y} } })
##-} ;
1 geFloat :: PrelBase.Float -> PrelBase.Float -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of wild {
PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> PrelGHC.geFloatzh {x y} } })
##-} ;
1 gtDouble :: PrelBase.Double -> PrelBase.Double -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2 of wild {
PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> PrelGHC.zgzhzh {x y} } }) ##-}
;
1 gtFloat :: PrelBase.Float -> PrelBase.Float -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of wild {
PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> PrelGHC.gtFloatzh {x y} } })
##-} ;
1 int2Double :: PrelBase.Int -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Int -> case ds2 of wild { PrelBase.Izh x -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.int2Doublezh {x} } in PrelBase.Dzh {tpl34} }) ##-} ;
1 int2Float :: PrelBase.Int -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Int -> case ds2 of wild { PrelBase.Izh x -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.int2Floatzh {x} } in PrelBase.Fzh {tpl34} }) ##-} ;
1 int_encodeDoublezh :: PrelGHC.Intzh -> PrelBase.Int -> PrelBase.Double {-## __A 2
__C __M (-) __S Pu(P) __U (\ ds2 :: PrelGHC.Intzh ds3 :: PrelBase.Int -> case ds3 of
ds4 { PrelBase.Izh ds5 -> case __ccall __int_encodeDouble {@ (PrelGHC.Statezh
PrelGHC.RealWorld -> PrelGHC.Intzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh
PrelGHC.RealWorld, PrelGHC.Doublezh #)) PrelGHC.realWorldzh ds2 ds5} of wild { (# ds6,
ds7 #) -> PrelBase.Dzh {ds7} } }) ##-} ;
1 int_encodeFloatzh :: PrelGHC.Intzh -> PrelBase.Int -> PrelBase.Float {-## __A 2 __C
__M (-) __S Pu(P) __U (\ ds2 :: PrelGHC.Intzh ds3 :: PrelBase.Int -> case ds3 of ds4 {
PrelBase.Izh ds5 -> case __ccall __int_encodeFloat {@ (PrelGHC.Statezh
PrelGHC.RealWorld -> PrelGHC.Intzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh
PrelGHC.RealWorld, PrelGHC.Floatzh #)) PrelGHC.realWorldzh ds2 ds5} of wild { (# ds6,
ds7 #) -> PrelBase.Fzh {ds7} } }) ##-} ;
1 integerLogBase :: PrelBase.Integer -> PrelBase.Integer -> PrelBase.Int {-## __A 2
__S SS ##-} ;
1 isDoubleDenormalizzed :: PrelBase.Double -> PrelBase.Int {-## __A 1 __C __M (-) __S
u(P) __U (\ ds2 :: PrelBase.Double -> case ds2 of ds3 { PrelBase.Dzh ds4 -> case
__ccall isDoubleDenormalized {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Doublezh
-> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Intzh #)) PrelGHC.realWorldzh ds4} of
wild { (# ds5, ds6 #) -> PrelBase.Izh {ds6} } }) ##-} ;
1 isDoubleInfinite :: PrelBase.Double -> PrelBase.Int {-## __A 1 __C __M (-) __S u(P)
__U (\ ds2 :: PrelBase.Double -> case ds2 of ds3 { PrelBase.Dzh ds4 -> case __ccall
isDoubleInfinite {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Doublezh -> (#
PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Intzh #)) PrelGHC.realWorldzh ds4} of wild
{ (# ds5, ds6 #) -> PrelBase.Izh {ds6} } }) ##-} ;
1 isDoubleNaN :: PrelBase.Double -> PrelBase.Int {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Double -> case ds2 of ds3 { PrelBase.Dzh ds4 -> case __ccall
isDoubleNaN {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Doublezh -> (#
PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Intzh #)) PrelGHC.realWorldzh ds4} of wild
{ (# ds5, ds6 #) -> PrelBase.Izh {ds6} } }) ##-} ;
1 isDoubleNegativeZZero :: PrelBase.Double -> PrelBase.Int {-## __A 1 __C __M (-) __S
u(P) __U (\ ds2 :: PrelBase.Double -> case ds2 of ds3 { PrelBase.Dzh ds4 -> case
__ccall isDoubleNegativeZero {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Doublezh
-> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Intzh #)) PrelGHC.realWorldzh ds4} of
wild { (# ds5, ds6 #) -> PrelBase.Izh {ds6} } }) ##-} ;
1 isFloatDenormalizzed :: PrelBase.Float -> PrelBase.Int {-## __A 1 __C __M (-) __S
u(P) __U (\ ds2 :: PrelBase.Float -> case ds2 of ds3 { PrelBase.Fzh ds4 -> case
__ccall isFloatDenormalized {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Floatzh
-> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Intzh #)) PrelGHC.realWorldzh ds4} of
wild { (# ds5, ds6 #) -> PrelBase.Izh {ds6} } }) ##-} ;
1 isFloatInfinite :: PrelBase.Float -> PrelBase.Int {-## __A 1 __C __M (-) __S u(P)
__U (\ ds2 :: PrelBase.Float -> case ds2 of ds3 { PrelBase.Fzh ds4 -> case __ccall
isFloatInfinite {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Floatzh -> (#
PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Intzh #)) PrelGHC.realWorldzh ds4} of wild
{ (# ds5, ds6 #) -> PrelBase.Izh {ds6} } }) ##-} ;
1 isFloatNaN :: PrelBase.Float -> PrelBase.Int {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of ds3 { PrelBase.Fzh ds4 -> case __ccall isFloatNaN
{@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Floatzh -> (# PrelGHC.Statezh
PrelGHC.RealWorld, PrelGHC.Intzh #)) PrelGHC.realWorldzh ds4} of wild { (# ds5, ds6 #)
-> PrelBase.Izh {ds6} } }) ##-} ;
1 isFloatNegativeZZero :: PrelBase.Float -> PrelBase.Int {-## __A 1 __C __M (-) __S
u(P) __U (\ ds2 :: PrelBase.Float -> case ds2 of ds3 { PrelBase.Fzh ds4 -> case
__ccall isFloatNegativeZero {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Floatzh
-> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Intzh #)) PrelGHC.realWorldzh ds4} of
wild { (# ds5, ds6 #) -> PrelBase.Izh {ds6} } }) ##-} ;
1 leDouble :: PrelBase.Double -> PrelBase.Double -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2 of wild {
PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> PrelGHC.zlzezhzh {x y} } })
##-} ;
1 leFloat :: PrelBase.Float -> PrelBase.Float -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of wild {
PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> PrelGHC.leFloatzh {x y} } })
##-} ;
1 lit :: PrelBase.Integer {-## __A 0 __C __U (PrelBase.Szh {1}) ##-} ;
1 lit8 :: PrelBase.Integer {-## __A 0 __C __U (PrelBase.Szh {0}) ##-} ;
1 lit9 :: PrelNum.Ratio PrelBase.Integer {-## __A 0 __U (case lit of tpl91 { __DEFAULT
-> PrelNum.ZCzv {@ PrelBase.Integer tpl90 tpl91} }) ##-} ;
1 logDouble :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> case
PrelGHC.logDoublezh {x} of tpl34 { __DEFAULT -> PrelBase.Dzh {tpl34} } }) ##-} ;
1 logFloat :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> case PrelGHC.logFloatzh
{x} of tpl34 { __DEFAULT -> PrelBase.Fzh {tpl34} } }) ##-} ;
1 ltDouble :: PrelBase.Double -> PrelBase.Double -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2 of wild {
PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> PrelGHC.zlzhzh {x y} } }) ##-}
;
1 ltFloat :: PrelBase.Float -> PrelBase.Float -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of wild {
PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> PrelGHC.ltFloatzh {x y} } })
##-} ;
1 lvl15 :: PrelBase.Int {-## __A 0 __C __U (PrelBase.Izh {2}) ##-} ;
1 lvl25 :: PrelBase.Float {-## __A 0 __U (case PrelBase.Szh {0} of wild { PrelBase.Szh
i -> case __ccall __int_encodeFloat {@ (PrelGHC.Statezh PrelGHC.RealWorld ->
PrelGHC.Intzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld,
PrelGHC.Floatzh #)) PrelGHC.realWorldzh i 0} of wild1 { (# ds2, ds3 #) -> PrelBase.Fzh
{ds3} }; PrelBase.Jzh szh dzh -> case __ccall __encodeFloat {@ (PrelGHC.Statezh
PrelGHC.RealWorld -> PrelGHC.Intzh -> PrelGHC.ByteArrayzh -> PrelGHC.Intzh -> (#
PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Floatzh #)) PrelGHC.realWorldzh szh dzh 0}
of wild1 { (# ds2, ds3 #) -> PrelBase.Fzh {ds3} } }) ##-} ;
1 lvl26 :: PrelBase.Double {-## __A 0 __U (case PrelBase.Szh {0} of wild {
PrelBase.Szh i -> case __ccall __int_encodeDouble {@ (PrelGHC.Statezh
PrelGHC.RealWorld -> PrelGHC.Intzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh
PrelGHC.RealWorld, PrelGHC.Doublezh #)) PrelGHC.realWorldzh i 0} of wild1 { (# ds2,
ds3 #) -> PrelBase.Dzh {ds3} }; PrelBase.Jzh szh dzh -> case __ccall __encodeDouble {@
(PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Intzh -> PrelGHC.ByteArrayzh ->
PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Doublezh #))
PrelGHC.realWorldzh szh dzh 0} of wild1 { (# ds2, ds3 #) -> PrelBase.Dzh {ds3} } })
##-} ;
1 lvl28 :: (PrelBase.Int, PrelBase.Int) {-## __A 0 __C __U (s5, s6) ##-} ;
1 lvl29 :: PrelBase.Int {-## __A 0 __C __U (PrelBase.Izh {53}) ##-} ;
1 lvl30 :: PrelBase.Integer {-## __A 0 __C __U (PrelBase.Szh {2}) ##-} ;
1 lvl31 :: (PrelBase.Int, PrelBase.Int) {-## __A 0 __C __U (s7, s8) ##-} ;
1 lvl32 :: PrelBase.Int {-## __A 0 __C __U (PrelBase.Izh {24}) ##-} ;
1 lvl4 :: [PrelBase.Char] {-## __A 0 __U (PrelPack.unpackCStringzh " % ") ##-} ;
1 lvl6 :: [PrelBase.Char] {-## __A 0 __U (PrelPack.unpackCStringzh "0.0") ##-} ;
1 lvl9 :: PrelBase.Int {-## __A 0 __C __U (PrelBase.Izh {1}) ##-} ;
1 maxExpt :: PrelBase.Int {-## __A 0 __C __U (PrelBase.Izh {1100}) ##-} ;
1 minExpt :: PrelBase.Int {-## __A 0 __C __U (PrelBase.Izh {0}) ##-} ;
1 minusDouble :: PrelBase.Double -> PrelBase.Double -> PrelBase.Double {-## __A 2 __C
__M (-) __S u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2
of wild { PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.zmzhzh {x y} } in PrelBase.Dzh {tpl34} } }) ##-} ;
1 minusFloat :: PrelBase.Float -> PrelBase.Float -> PrelBase.Float {-## __A 2 __C __M
(-) __S u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of
wild { PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.minusFloatzh {x y} } in PrelBase.Fzh {tpl34} } }) ##-} ;
1 neDouble :: PrelBase.Double -> PrelBase.Double -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2 of wild {
PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> PrelGHC.zszezhzh {x y} } })
##-} ;
1 neFloat :: PrelBase.Float -> PrelBase.Float -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of wild {
PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> PrelGHC.neFloatzh {x y} } })
##-} ;
1 negateDouble :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P)
__U (\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.negateDoublezh {x} } in PrelBase.Dzh {tpl34} }) ##-} ;
1 negateFloat :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.negateFloatzh {x} } in PrelBase.Fzh {tpl34} }) ##-} ;
1 normalizze :: PrelNum.Rational -> (PrelNum.Rational, PrelBase.Int) {-## __A 1 __M
(--) __S S __P zdwnormalizze ##-} ;
1 numericEnumFrom :: __forall [a] => {PrelNum.Fractional a} -> a -> [a] {-## __A 2 __U
(\ @ a zddFractional :: {PrelNum.Fractional a} x :: a -> let { zddNum :: {PrelNum.Num
a} = PrelNum.zdp1Fractional @ a zddFractional } in let { zp :: (a -> a -> a) = case
zddNum of tpl34 { PrelNum.ZCDNum tpl35 tpl36 tpl37 tpl38 tpl39 tpl40 tpl41 tpl42 tpl43
tpl44 -> tpl37 } } in let { lvl41 :: a = case zddNum of tpl34 { PrelNum.ZCDNum tpl35
tpl36 tpl37 tpl38 tpl39 tpl40 tpl41 tpl42 tpl43 tpl44 -> tpl44 lvl9 } } in
PrelList.iterateList @ a (\ s9 :: a -> zp s9 lvl41) x) ##-} ;
1 numericEnumFromThen :: __forall [a] => {PrelNum.Fractional a} -> a -> a -> [a] {-##
__A 1 __U (\ @ a zddFractional :: {PrelNum.Fractional a} -> let { zddNum ::
{PrelNum.Num a} = PrelNum.zdp1Fractional @ a zddFractional } in let { zm :: (a -> a ->
a) = case zddNum of tpl34 { PrelNum.ZCDNum tpl35 tpl36 tpl37 tpl38 tpl39 tpl40 tpl41
tpl42 tpl43 tpl44 -> tpl38 } } in let { zp :: (a -> a -> a) = case zddNum of tpl34 {
PrelNum.ZCDNum tpl35 tpl36 tpl37 tpl38 tpl39 tpl40 tpl41 tpl42 tpl43 tpl44 -> tpl37 }
} in \ n :: a m :: a -> let { ds2 :: a = zm m n } in PrelList.iterateList @ a (\
ds3 :: a -> zp ds3 ds2) n) ##-} ;
1 numericEnumFromThenTo :: __forall [a] => {PrelBase.Ord a} -> {PrelNum.Fractional a}
-> a -> a -> a -> [a] {-## __A 2 ##-} ;
1 numericEnumFromTo :: __forall [a] => {PrelBase.Ord a} -> {PrelNum.Fractional a} -> a
-> a -> [a] {-## __A 2 __U (\ @ a zddOrd :: {PrelBase.Ord a} zddFractional ::
{PrelNum.Fractional a} -> let { numericEnumFrom1 :: (a -> [a]) = numericEnumFrom @ a
zddFractional } in let { zddNum :: {PrelNum.Num a} = PrelNum.zdp1Fractional @ a
zddFractional } in let { zp :: (a -> a -> a) = case zddNum of tpl34 { PrelNum.ZCDNum
tpl35 tpl36 tpl37 tpl38 tpl39 tpl40 tpl41 tpl42 tpl43 tpl44 -> tpl37 } } in let { zlze
:: (a -> a -> PrelBase.Bool) = PrelBase.zlze @ a zddOrd } in let { lvl41 :: a = case
zddFractional of tpl34 { PrelNum.ZCDFractional tpl35 tpl36 tpl37 tpl38 -> let {
fromInt :: (PrelBase.Int -> a) = case zddNum of tpl39 { PrelNum.ZCDNum tpl40 tpl41
tpl42 tpl43 tpl44 tpl45 tpl46 tpl47 tpl48 tpl49 -> tpl49 } } in tpl36 (fromInt lvl9)
(fromInt lvl15) } } in \ n :: a m :: a -> let { ds2 :: a = zp m lvl41 } in
PrelList.takeWhile @ a (\ ds3 :: a -> zlze ds3 ds2) (numericEnumFrom1 n)) ##-} ;
1 plusDouble :: PrelBase.Double -> PrelBase.Double -> PrelBase.Double {-## __A 2 __C
__M (-) __S u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2
of wild { PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.zpzhzh {x y} } in PrelBase.Dzh {tpl34} } }) ##-} ;
1 plusFloat :: PrelBase.Float -> PrelBase.Float -> PrelBase.Float {-## __A 2 __C __M
(-) __S u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of
wild { PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.plusFloatzh {x y} } in PrelBase.Fzh {tpl34} } }) ##-} ;
1 powerDouble :: PrelBase.Double -> PrelBase.Double -> PrelBase.Double {-## __A 2 __C
__M (-) __S u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2
of wild { PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.ztztzhzh {x y} } in PrelBase.Dzh {tpl34} } }) ##-} ;
1 powerFloat :: PrelBase.Float -> PrelBase.Float -> PrelBase.Float {-## __A 2 __C __M
(-) __S u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of
wild { PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.powerFloatzh {x y} } in PrelBase.Fzh {tpl34} } }) ##-} ;
1 prR :: PrelBase.Int -> PrelNum.Rational -> PrelBase.Int -> PrelBase.String {-## __A
3 __S LSU(P) __P zdwprR ##-} ;
1 properFraction :: __forall [b] => {PrelNum.Integral b} -> PrelBase.Float -> (b,
PrelBase.Float) {-## __A 1 ##-} ;
1 properFraction1 :: __forall [b] => {PrelNum.Integral b} -> PrelBase.Double -> (b,
PrelBase.Double) {-## __A 1 ##-} ;
1 ratio_prec :: PrelBase.Int {-## __A 0 __C __U (PrelBase.Izh {7}) ##-} ;
1 realToFrac :: __forall [a b] => {PrelNum.Real a} -> {PrelNum.Fractional b} -> a -> b
{-## __A 3 __C __S Lu(AAAS)L __U (\ @ a @ b zddReal :: {PrelNum.Real a} zddFractional
:: {PrelNum.Fractional b} x :: a -> case zddFractional of tpl91 {
PrelNum.ZCDFractional tpl92 tpl93 tpl94 tpl95 -> tpl95 (case zddReal of tpl96 {
PrelNum.ZCDReal tpl97 tpl98 tpl99 -> tpl99 x }) }) ##-} ;
1 round1 :: __forall [b] => {PrelNum.Integral b} -> PrelBase.Float -> b {-## __A 1
##-} ;
1 round2 :: __forall [b] => {PrelNum.Integral b} -> PrelBase.Double -> b {-## __A 1
##-} ;
1 roundTo :: PrelBase.Int -> PrelBase.Int -> [PrelBase.Int] -> (PrelBase.Int,
[PrelBase.Int]) {-## __A 3 __S LLS ##-} ;
1 s :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\ s ::
PrelBase.Float -> case s of wild { PrelBase.Fzh x -> let { tpl16 :: PrelGHC.Floatzh =
PrelGHC.plusFloatzh {x __float 1.0} } in PrelBase.Fzh {tpl16} }) ##-} ;
1 s1 :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U (\ s1
:: PrelBase.Double -> case s1 of wild { PrelBase.Dzh x -> let { tpl16 ::
PrelGHC.Doublezh = PrelGHC.zpzhzh {x 1.0} } in PrelBase.Dzh {tpl16} }) ##-} ;
1 s2 :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U (\ s2
:: PrelBase.Double -> case s2 of wild { PrelBase.Dzh x -> let { tpl16 ::
PrelGHC.Doublezh = PrelGHC.zpzhzh {x 1.0} } in PrelBase.Dzh {tpl16} }) ##-} ;
1 s3 :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\ s3 ::
PrelBase.Float -> case s3 of wild { PrelBase.Fzh x -> let { tpl16 :: PrelGHC.Floatzh =
PrelGHC.plusFloatzh {x __float 1.0} } in PrelBase.Fzh {tpl16} }) ##-} ;
1 s5 :: PrelBase.Int {-## __A 0 __C __U (PrelBase.Izh {(-1021)}) ##-} ;
1 s6 :: PrelBase.Int {-## __A 0 __C __U (PrelBase.Izh {1024}) ##-} ;
1 s7 :: PrelBase.Int {-## __A 0 __C __U (PrelBase.Izh {(-125)}) ##-} ;
1 s8 :: PrelBase.Int {-## __A 0 __C __U (PrelBase.Izh {128}) ##-} ;
1 scaleRat :: PrelNum.Rational -> PrelBase.Int -> PrelNum.Rational -> PrelNum.Rational
-> PrelBase.Int -> PrelNum.Rational -> (PrelNum.Rational, PrelBase.Int) {-## __A 6 __M
(--) __S LU(P)LLU(P)L __P zdwscaleRat ##-} ;
1 showFloat :: __forall [a] => {PrelNum.RealFloat a} -> a -> PrelShow.ShowS {-## __A 1
__U (\ @ a zddRealFloat :: {PrelNum.RealFloat a} -> let { formatRealFloat2 ::
(FFFormat -> PrelMaybe.Maybe PrelBase.Int -> a -> PrelBase.String) = formatRealFloat @
a zddRealFloat } in \ x :: a ys :: [PrelBase.Char] -> PrelBase.append @ PrelBase.Char
(formatRealFloat2 FFGeneric (PrelMaybe.Nothing {@ PrelBase.Int}) x) ys) ##-} ;
1 showRational :: PrelBase.Int -> PrelNum.Rational -> PrelBase.String {-## __A 2 __U
(\ n :: PrelBase.Int r :: PrelNum.Rational -> case zeze r lit9 of wild { PrelBase.True
-> lvl6; PrelBase.False -> case zdwnormalizze r of wild1 { (# ww, ww1 #) -> case ww1
of e { PrelBase.Izh ww2 -> zdwprR n ww ww2 } } }) ##-} ;
1 showSigned :: __forall [a] => {PrelNum.Real a} -> (a -> PrelShow.ShowS) ->
PrelBase.Int -> a -> PrelShow.ShowS {-## __A 1 ##-} ;
1 sinDouble :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.sinDoublezh {x} } in PrelBase.Dzh {tpl34} }) ##-} ;
1 sinFloat :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.sinFloatzh {x} } in PrelBase.Fzh {tpl34} }) ##-} ;
1 sinhDouble :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.sinhDoublezh {x} } in PrelBase.Dzh {tpl34} }) ##-} ;
1 sinhFloat :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.sinhFloatzh {x} } in PrelBase.Fzh {tpl34} }) ##-} ;
1 sqrtDouble :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.sqrtDoublezh {x} } in PrelBase.Dzh {tpl34} }) ##-} ;
1 sqrtFloat :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.sqrtFloatzh {x} } in PrelBase.Fzh {tpl34} }) ##-} ;
1 startExpExp :: PrelBase.Int {-## __A 0 __C __U (PrelBase.Izh {4}) ##-} ;
1 tanDouble :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.tanDoublezh {x} } in PrelBase.Dzh {tpl34} }) ##-} ;
1 tanFloat :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.tanFloatzh {x} } in PrelBase.Fzh {tpl34} }) ##-} ;
1 tanhDouble :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U
(\ ds2 :: PrelBase.Double -> case ds2 of wild { PrelBase.Dzh x -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.tanhDoublezh {x} } in PrelBase.Dzh {tpl34} }) ##-} ;
1 tanhFloat :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\
ds2 :: PrelBase.Float -> case ds2 of wild { PrelBase.Fzh x -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.tanhFloatzh {x} } in PrelBase.Fzh {tpl34} }) ##-} ;
1 timesDouble :: PrelBase.Double -> PrelBase.Double -> PrelBase.Double {-## __A 2 __C
__M (-) __S u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2
of wild { PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> let { tpl34 ::
PrelGHC.Doublezh = PrelGHC.ztzhzh {x y} } in PrelBase.Dzh {tpl34} } }) ##-} ;
1 timesFloat :: PrelBase.Float -> PrelBase.Float -> PrelBase.Float {-## __A 2 __C __M
(-) __S u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of
wild { PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> let { tpl34 ::
PrelGHC.Floatzh = PrelGHC.timesFloatzh {x y} } in PrelBase.Fzh {tpl34} } }) ##-} ;
1 tpl100 :: PrelBase.Double -> PrelBase.Double -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2 of wild {
PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> PrelGHC.zezezhzh {x y} } })
##-} ;
1 tpl101 :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S U(P) __P
zdwtpl5 ##-} ;
1 tpl102 :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S U(P) __P
zdwtpl4 ##-} ;
1 tpl103 :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S U(P) __P
zdwtpl3 ##-} ;
1 tpl104 :: PrelBase.Int -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U (\ ds2
:: PrelBase.Int -> case ds2 of wild { PrelBase.Izh nzh -> let { tpl104 ::
PrelGHC.Doublezh = PrelGHC.int2Doublezh {nzh} } in PrelBase.Dzh {tpl104} }) ##-} ;
1 tpl105 :: PrelBase.Integer -> PrelBase.Double {-## __A 1 __C __S S __U (__inline_me
(\ n :: PrelBase.Integer -> tpl79 n minExpt)) ##-} ;
1 tpl106 :: PrelBase.Float -> PrelBase.Float -> PrelBase.Float {-## __A 2 __C __S
U(P)U(P) __P zdwtpl2 ##-} ;
1 tpl107 :: PrelBase.Float -> PrelBase.Float -> PrelBase.Float {-## __A 2 __C __S
U(P)U(P) __P zdwtpl1 ##-} ;
1 tpl108 :: PrelBase.Float -> PrelBase.Float -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of wild {
PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> PrelGHC.gtFloatzh {x y} } })
##-} ;
1 tpl109 :: PrelBase.Float -> PrelBase.Float -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of wild {
PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> PrelGHC.geFloatzh {x y} } })
##-} ;
1 tpl110 :: PrelBase.Float -> PrelBase.Float -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of wild {
PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> PrelGHC.leFloatzh {x y} } })
##-} ;
1 tpl111 :: PrelBase.Float -> PrelBase.Float -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of wild {
PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> PrelGHC.ltFloatzh {x y} } })
##-} ;
1 tpl112 :: PrelBase.Float -> PrelBase.Float -> PrelBase.Bool {-## __A 2 __C __S
U(P)U(P) __P zdwtpl ##-} ;
1 tpl113 :: PrelBase.Float -> PrelBase.Float -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Float ds3 :: PrelBase.Float -> case ds2 of wild {
PrelBase.Fzh x -> case ds3 of wild1 { PrelBase.Fzh y -> PrelGHC.eqFloatzh {x y} } })
##-} ;
1 tpl114 :: [PrelBase.Float] -> PrelShow.ShowS {-## __A 2 __S SL __U (\ s9 ::
[PrelBase.Float] s10 :: PrelBase.String -> case s9 of wild { PrelBase.ZC x xs6 -> let
{ tpl118 :: [PrelBase.Char] = case x of x1 { PrelBase.Fzh ww -> zdwtpl41 minExpt ww
(let { lvl321 :: [PrelBase.Char] = PrelBase.ZC {@ PrelBase.Char PrelShow.lvl30 s10} }
in __letrec { showl :: ([PrelBase.Float] -> [PrelBase.Char]) = \ ds2 ::
[PrelBase.Float] -> case ds2 of wild1 { PrelBase.ZC y ys -> let { tpl118 ::
[PrelBase.Char] = case y of x2 { PrelBase.Fzh ww1 -> zdwtpl41 minExpt ww1 (showl ys) }
} in PrelBase.ZC {@ PrelBase.Char PrelShow.s27 tpl118}; PrelBase.ZMZN -> lvl321 }; }
in showl xs6) } } in PrelBase.ZC {@ PrelBase.Char PrelShow.lvl31 tpl118};
PrelBase.ZMZN -> PrelBase.append @ PrelBase.Char PrelShow.lvl29 s10 }) ##-} ;
1 tpl115 :: PrelBase.Float -> PrelBase.String {-## __A 1 __S U(P) __P zdwtpl40 ##-} ;
1 tpl116 :: PrelBase.Int -> PrelBase.Float -> PrelShow.ShowS {-## __A 3 __S LU(P)L __P
zdwtpl41 ##-} ;
1 tpl117 :: PrelBase.Float -> PrelBase.Float -> PrelBase.Float {-## __A 0 ##-} ;
1 tpl118 :: [PrelBase.Double] -> PrelShow.ShowS {-## __A 2 __S SL __U (\ s9 ::
[PrelBase.Double] s10 :: PrelBase.String -> case s9 of wild { PrelBase.ZC x xs6 -> let
{ tpl122 :: [PrelBase.Char] = case x of x1 { PrelBase.Dzh ww -> zdwtpl43 minExpt ww
(let { lvl321 :: [PrelBase.Char] = PrelBase.ZC {@ PrelBase.Char PrelShow.lvl30 s10} }
in __letrec { showl :: ([PrelBase.Double] -> [PrelBase.Char]) = \ ds2 ::
[PrelBase.Double] -> case ds2 of wild1 { PrelBase.ZC y ys -> let { tpl122 ::
[PrelBase.Char] = case y of x2 { PrelBase.Dzh ww1 -> zdwtpl43 minExpt ww1 (showl ys) }
} in PrelBase.ZC {@ PrelBase.Char PrelShow.s27 tpl122}; PrelBase.ZMZN -> lvl321 }; }
in showl xs6) } } in PrelBase.ZC {@ PrelBase.Char PrelShow.lvl31 tpl122};
PrelBase.ZMZN -> PrelBase.append @ PrelBase.Char PrelShow.lvl29 s10 }) ##-} ;
1 tpl119 :: PrelBase.Double -> PrelBase.String {-## __A 1 __S U(P) __P zdwtpl42 ##-} ;
1 tpl12 :: PrelBase.Char {-## __A 0 __C __U (PrelBase.Czh {'\45'}) ##-} ;
1 tpl120 :: PrelBase.Int -> PrelBase.Double -> PrelShow.ShowS {-## __A 3 __S LU(P)L
__P zdwtpl43 ##-} ;
1 tpl121 :: PrelBase.Double -> PrelBase.Double -> PrelBase.Double {-## __A 0 ##-} ;
1 tpl13 :: PrelBase.Char {-## __A 0 __C __U (PrelBase.Czh {'\45'}) ##-} ;
1 tpl14 :: PrelBase.Char {-## __A 0 __C __U (PrelBase.Czh {'\45'}) ##-} ;
1 tpl15 :: PrelBase.Char {-## __A 0 __C __U (PrelBase.Czh {'\45'}) ##-} ;
1 tpl16 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Rational {-## __A 1 __C __S S __U
(\ ds2 :: (PrelNum.Ratio PrelBase.Integer) -> ds2) ##-} ;
1 tpl17 :: PrelNum.Rational -> PrelNum.Ratio PrelBase.Integer {-## __A 1 __C __S S __U
(\ ds2 :: PrelNum.Rational -> ds2) ##-} ;
1 tpl18 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer {-## __A 1
__S S ##-} ;
1 tpl19 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer ->
PrelNum.Ratio PrelBase.Integer {-## __A 2 __S SS __U (\ ds2 :: (PrelNum.Ratio
PrelBase.Integer) ds3 :: (PrelNum.Ratio PrelBase.Integer) -> case ds2 of wild {
PrelNum.ZCzv x y -> case ds3 of wild1 { PrelNum.ZCzv xzq yzq -> let { y1 ::
PrelBase.Integer = PrelNum.zdszt1 y xzq } in PrelNum.zdsreduce (PrelNum.zdszt1
(PrelNum.zdszt1 x yzq) (PrelNum.tpl13 y1)) (PrelNum.tpl14 y1) } }) ##-} ;
1 tpl20 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer ->
PrelBase.Bool {-## __A 2 __C __S SS __U (\ ds2 :: (PrelNum.Ratio PrelBase.Integer) ds3
:: (PrelNum.Ratio PrelBase.Integer) -> case ds2 of wild { PrelNum.ZCzv x y -> case ds3
of wild1 { PrelNum.ZCzv xzq yzq -> case PrelNum.zdszt1 x yzq of wild2 { PrelBase.Szh i
-> case PrelNum.zdszt1 xzq y of wild11 { PrelBase.Szh j -> PrelGHC.zlzezh {i j};
PrelBase.Jzh s11 d -> PrelGHC.zgzezh {(PrelGHC.cmpIntegerIntzh {s11 d i}) 0} };
PrelBase.Jzh s11 d -> case PrelNum.zdszt1 xzq y of wild11 { PrelBase.Szh i ->
PrelGHC.zlzezh {(PrelGHC.cmpIntegerIntzh {s11 d i}) 0}; PrelBase.Jzh s21 d2 ->
PrelGHC.zlzezh {(PrelGHC.cmpIntegerzh {s11 d s21 d2}) 0} } } } }) ##-} ;
1 tpl21 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer ->
PrelBase.Bool {-## __A 2 __C __S SS __U (\ ds2 :: (PrelNum.Ratio PrelBase.Integer) ds3
:: (PrelNum.Ratio PrelBase.Integer) -> case ds2 of wild { PrelNum.ZCzv x y -> case ds3
of wild1 { PrelNum.ZCzv xzq yzq -> case PrelNum.zdszt1 x yzq of wild2 { PrelBase.Szh i
-> case PrelNum.zdszt1 xzq y of wild11 { PrelBase.Szh j -> PrelGHC.zlzh {i j};
PrelBase.Jzh s11 d -> PrelGHC.zgzh {(PrelGHC.cmpIntegerIntzh {s11 d i}) 0} };
PrelBase.Jzh s11 d -> case PrelNum.zdszt1 xzq y of wild11 { PrelBase.Szh i ->
PrelGHC.zlzh {(PrelGHC.cmpIntegerIntzh {s11 d i}) 0}; PrelBase.Jzh s21 d2 ->
PrelGHC.zlzh {(PrelGHC.cmpIntegerzh {s11 d s21 d2}) 0} } } } }) ##-} ;
1 tpl22 :: PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer {-## __A 1 __C __S S __U
(\ x :: PrelBase.Integer -> case x of tpl22 { __DEFAULT -> case lit of tpl23 {
__DEFAULT -> PrelNum.ZCzv {@ PrelBase.Integer tpl22 tpl23} } }) ##-} ;
1 tpl23 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer {-## __A 1
__C __S S __U (\ ds2 :: (PrelNum.Ratio PrelBase.Integer) -> case ds2 of wild {
PrelNum.ZCzv x ds3 -> case PrelNum.tpl13 x of tpl23 { __DEFAULT -> case lit of tpl24 {
__DEFAULT -> PrelNum.ZCzv {@ PrelBase.Integer tpl23 tpl24} } } }) ##-} ;
1 tpl24 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer {-## __A 1
__C __S S __U (\ ds2 :: (PrelNum.Ratio PrelBase.Integer) -> case ds2 of wild {
PrelNum.ZCzv x y -> case PrelNum.tpl14 x of tpl24 { __DEFAULT -> PrelNum.ZCzv {@
PrelBase.Integer tpl24 y} } }) ##-} ;
1 tpl25 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer {-## __A 1
__S S __U (\ ds2 :: (PrelNum.Ratio PrelBase.Integer) -> case ds2 of wild {
PrelNum.ZCzv x y -> case x of wild1 { PrelBase.Szh ds11 -> case ds11 of ds21 {
(-2147483648) -> case PrelNum.lvl17 of tpl25 { __DEFAULT -> PrelNum.ZCzv {@
PrelBase.Integer tpl25 y} }; __DEFAULT -> let { tpl171 :: PrelGHC.Intzh =
PrelGHC.negateIntzh {ds21} } in let { tpl25 :: PrelBase.Integer = PrelBase.Szh
{tpl171} } in PrelNum.ZCzv {@ PrelBase.Integer tpl25 y} }; PrelBase.Jzh s11 d -> let
{ tpl171 :: PrelGHC.Intzh = PrelGHC.negateIntzh {s11} } in let { tpl25 ::
PrelBase.Integer = PrelBase.Jzh {tpl171 d} } in PrelNum.ZCzv {@ PrelBase.Integer
tpl25 y} } }) ##-} ;
1 tpl26 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer ->
PrelNum.Ratio PrelBase.Integer {-## __A 2 __S SS __U (\ ds2 :: (PrelNum.Ratio
PrelBase.Integer) ds3 :: (PrelNum.Ratio PrelBase.Integer) -> case ds2 of wild {
PrelNum.ZCzv x y -> case ds3 of wild1 { PrelNum.ZCzv xzq yzq -> PrelNum.zdsreduce
(PrelNum.zdszt1 x xzq) (PrelNum.zdszt1 y yzq) } }) ##-} ;
1 tpl27 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer ->
PrelNum.Ratio PrelBase.Integer {-## __A 2 __S SS __U (\ ds2 :: (PrelNum.Ratio
PrelBase.Integer) ds3 :: (PrelNum.Ratio PrelBase.Integer) -> case ds2 of wild {
PrelNum.ZCzv x y -> case ds3 of wild1 { PrelNum.ZCzv xzq yzq -> PrelNum.zdsreduce
(PrelNum.tpl18 (PrelNum.zdszt1 x yzq) (PrelNum.zdszt1 xzq y)) (PrelNum.zdszt1 y yzq) }
}) ##-} ;
1 tpl28 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer ->
PrelNum.Ratio PrelBase.Integer {-## __A 2 __S SS __U (\ ds2 :: (PrelNum.Ratio
PrelBase.Integer) ds3 :: (PrelNum.Ratio PrelBase.Integer) -> case ds2 of wild {
PrelNum.ZCzv x y -> case ds3 of wild1 { PrelNum.ZCzv xzq yzq -> PrelNum.zdsreduce
(PrelNum.tpl21 (PrelNum.zdszt1 x yzq) (PrelNum.zdszt1 xzq y)) (PrelNum.zdszt1 y yzq) }
}) ##-} ;
1 tpl29 :: PrelBase.Int -> PrelNum.Ratio PrelBase.Integer {-## __A 1 __C __S U(P) __P
zdwtpl35 ##-} ;
1 tpl30 :: __forall [b] => {PrelNum.Integral b} -> PrelNum.Ratio PrelBase.Integer ->
(b, PrelNum.Ratio PrelBase.Integer) {-## __A 1 __C ##-} ;
1 tpl31 :: PrelBase.Int -> PrelNum.Ratio PrelBase.Integer -> PrelShow.ShowS {-## __A 3
__S U(P)SL __P zdwtpl34 ##-} ;
1 tpl32 :: PrelNum.Ratio PrelBase.Integer -> PrelBase.String {-## __A 1 __S S __U (\ x
:: (PrelNum.Ratio PrelBase.Integer) -> zdwtpl34 0 x (PrelBase.ZMZN {@ PrelBase.Char}))
##-} ;
1 tpl33 :: [PrelNum.Ratio PrelBase.Integer] -> PrelShow.ShowS {-## __A 0 ##-} ;
1 tpl34 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer ->
PrelBase.Ordering {-## __A 0 ##-} ;
1 tpl35 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer ->
PrelBase.Bool {-## __A 2 ##-} ;
1 tpl36 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer ->
PrelBase.Bool {-## __A 2 ##-} ;
1 tpl37 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer ->
PrelNum.Ratio PrelBase.Integer {-## __A 2 ##-} ;
1 tpl38 :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer ->
PrelNum.Ratio PrelBase.Integer {-## __A 2 ##-} ;
1 tpl39 :: PrelBase.Float -> [PrelBase.Float] {-## __A 1 __C __U (\ s9 ::
PrelBase.Float -> PrelList.iterateList @ PrelBase.Float s3 s9) ##-} ;
1 tpl40 :: PrelBase.Float -> PrelBase.Int {-## __A 1 __M (-) __S U(P) __P zdwtpl36
##-} ;
1 tpl41 :: PrelBase.Int -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\ s9 ::
PrelBase.Int -> case s9 of wild { PrelBase.Izh i -> case __ccall __int_encodeFloat {@
(PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Intzh -> PrelGHC.Intzh -> (#
PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Floatzh #)) PrelGHC.realWorldzh i 0} of
wild1 { (# ds2, ds3 #) -> PrelBase.Fzh {ds3} } }) ##-} ;
1 tpl42 :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\ x
:: PrelBase.Float -> case x of wild { PrelBase.Fzh x1 -> let { tpl42 ::
PrelGHC.Floatzh = PrelGHC.minusFloatzh {x1 __float 1.0} } in PrelBase.Fzh {tpl42} })
##-} ;
1 tpl43 :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\ x
:: PrelBase.Float -> case x of wild { PrelBase.Fzh x1 -> let { tpl43 ::
PrelGHC.Floatzh = PrelGHC.plusFloatzh {x1 __float 1.0} } in PrelBase.Fzh {tpl43} })
##-} ;
1 tpl44 :: PrelBase.Float -> PrelBase.Bool {-## __A 1 __C __S A __U (\ ds2 ::
PrelBase.Float -> PrelBase.True) ##-} ;
1 tpl45 :: PrelBase.Float -> PrelBase.Bool {-## __A 1 __C __S U(P) __P zdwtpl33 ##-} ;
1 tpl46 :: PrelBase.Float -> PrelBase.Bool {-## __A 1 __C __S U(P) __P zdwtpl32 ##-} ;
1 tpl47 :: PrelBase.Float -> PrelBase.Bool {-## __A 1 __C __S U(P) __P zdwtpl31 ##-} ;
1 tpl48 :: PrelBase.Float -> PrelBase.Bool {-## __A 1 __C __S U(P) __P zdwtpl30 ##-} ;
1 tpl49 :: PrelBase.Int -> PrelBase.Float -> PrelBase.Float {-## __A 2 __C __M (-) __S
U(P)U(P) __P zdwtpl29 ##-} ;
1 tpl50 :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S U(P) __P
zdwtpl28 ##-} ;
1 tpl51 :: PrelBase.Float -> PrelBase.Int {-## __A 1 __C __M (-) __S U(P) __P zdwtpl38
##-} ;
1 tpl52 :: PrelBase.Integer -> PrelBase.Int -> PrelBase.Float {-## __A 2 __C __M (-)
__S Su(P) __U (\ ds2 :: PrelBase.Integer j :: PrelBase.Int -> case ds2 of wild {
PrelBase.Szh i -> int_encodeFloatzh i j; PrelBase.Jzh szh dzh -> case j of ds3 {
PrelBase.Izh ww -> case __ccall __encodeFloat {@ (PrelGHC.Statezh PrelGHC.RealWorld ->
PrelGHC.Intzh -> PrelGHC.ByteArrayzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh
PrelGHC.RealWorld, PrelGHC.Floatzh #)) PrelGHC.realWorldzh szh dzh ww} of wild1 { (#
ds4, ds5 #) -> PrelBase.Fzh {ds5} } } }) ##-} ;
1 tpl53 :: PrelBase.Float -> (PrelBase.Integer, PrelBase.Int) {-## __A 1 __C __M
(-(-)) __S U(P) __P zdwtpl27 ##-} ;
1 tpl54 :: PrelBase.Float -> (PrelBase.Int, PrelBase.Int) {-## __A 1 __C __M ((-)(-))
__S A __U (\ ds2 :: PrelBase.Float -> lvl31) ##-} ;
1 tpl55 :: PrelBase.Float -> PrelBase.Int {-## __A 1 __C __M (-) __S A __U (\ ds2 ::
PrelBase.Float -> lvl32) ##-} ;
1 tpl56 :: PrelBase.Float -> PrelBase.Integer {-## __A 1 __C __S A __U (\ ds2 ::
PrelBase.Float -> lvl30) ##-} ;
1 tpl57 :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S U(P) __P
zdwtpl26 ##-} ;
1 tpl58 :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S U(P) __P
zdwtpl25 ##-} ;
1 tpl59 :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S U(P) __P
zdwtpl24 ##-} ;
1 tpl60 :: PrelBase.Float -> PrelBase.Float -> PrelBase.Float {-## __A 2 __C __M (-)
__S U(P)U(P) __P zdwtpl23 ##-} ;
1 tpl61 :: PrelBase.Float {-## __A 0 __C __U (PrelBase.Fzh {__float
3.141592653589793}) ##-} ;
1 tpl62 :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P) __U (\ x
:: PrelBase.Float -> case x of wild { PrelBase.Fzh y -> case PrelGHC.divideFloatzh
{__float 1.0 y} of tpl62 { __DEFAULT -> PrelBase.Fzh {tpl62} } }) ##-} ;
1 tpl63 :: PrelBase.Integer -> PrelBase.Float {-## __A 1 __C __S S __U (__inline_me (\
n :: PrelBase.Integer -> tpl52 n minExpt)) ##-} ;
1 tpl64 :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __M (-) __S U(P) __P
zdwtpl22 ##-} ;
1 tpl65 :: PrelBase.Float -> PrelBase.Float {-## __A 1 __C __S U(P) __P zdwtpl21 ##-} ;
1 tpl66 :: PrelBase.Double -> [PrelBase.Double] {-## __A 1 __C __U (\ s9 ::
PrelBase.Double -> PrelList.iterateList @ PrelBase.Double s2 s9) ##-} ;
1 tpl67 :: PrelBase.Double -> PrelBase.Int {-## __A 1 __M (-) __S U(P) __P zdwtpl37
##-} ;
1 tpl68 :: PrelBase.Int -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U (\ s9
:: PrelBase.Int -> case s9 of wild { PrelBase.Izh i -> case __ccall __int_encodeDouble
{@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Intzh -> PrelGHC.Intzh -> (#
PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Doublezh #)) PrelGHC.realWorldzh i 0} of
wild1 { (# ds2, ds3 #) -> PrelBase.Dzh {ds3} } }) ##-} ;
1 tpl69 :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U (\ x
:: PrelBase.Double -> case x of wild { PrelBase.Dzh x1 -> let { tpl69 ::
PrelGHC.Doublezh = PrelGHC.zmzhzh {x1 1.0} } in PrelBase.Dzh {tpl69} }) ##-} ;
1 tpl70 :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U (\ x
:: PrelBase.Double -> case x of wild { PrelBase.Dzh x1 -> let { tpl70 ::
PrelGHC.Doublezh = PrelGHC.zpzhzh {x1 1.0} } in PrelBase.Dzh {tpl70} }) ##-} ;
1 tpl71 :: PrelBase.Double -> PrelBase.Bool {-## __A 1 __C __S A __U (\ ds2 ::
PrelBase.Double -> PrelBase.True) ##-} ;
1 tpl72 :: PrelBase.Double -> PrelBase.Bool {-## __A 1 __C __S U(P) __P zdwtpl20 ##-} ;
1 tpl73 :: PrelBase.Double -> PrelBase.Bool {-## __A 1 __C __S U(P) __P zdwtpl19 ##-} ;
1 tpl74 :: PrelBase.Double -> PrelBase.Bool {-## __A 1 __C __S U(P) __P zdwtpl18 ##-} ;
1 tpl75 :: PrelBase.Double -> PrelBase.Bool {-## __A 1 __C __S U(P) __P zdwtpl17 ##-} ;
1 tpl76 :: PrelBase.Int -> PrelBase.Double -> PrelBase.Double {-## __A 2 __C __M (-)
__S U(P)U(P) __P zdwtpl16 ##-} ;
1 tpl77 :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S U(P) __P
zdwtpl15 ##-} ;
1 tpl78 :: PrelBase.Double -> PrelBase.Int {-## __A 1 __C __M (-) __S U(P) __P
zdwtpl39 ##-} ;
1 tpl79 :: PrelBase.Integer -> PrelBase.Int -> PrelBase.Double {-## __A 2 __C __M (-)
__S Su(P) __U (\ ds2 :: PrelBase.Integer j :: PrelBase.Int -> case ds2 of wild {
PrelBase.Szh i -> int_encodeDoublezh i j; PrelBase.Jzh szh dzh -> case j of ds3 {
PrelBase.Izh ww -> case __ccall __encodeDouble {@ (PrelGHC.Statezh PrelGHC.RealWorld
-> PrelGHC.Intzh -> PrelGHC.ByteArrayzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh
PrelGHC.RealWorld, PrelGHC.Doublezh #)) PrelGHC.realWorldzh szh dzh ww} of wild1 { (#
ds4, ds5 #) -> PrelBase.Dzh {ds5} } } }) ##-} ;
1 tpl80 :: PrelBase.Double -> (PrelBase.Integer, PrelBase.Int) {-## __A 1 __C __M
(-(-)) __S U(P) __P zdwtpl14 ##-} ;
1 tpl81 :: PrelBase.Double -> (PrelBase.Int, PrelBase.Int) {-## __A 1 __C __M ((-)(-))
__S A __U (\ ds2 :: PrelBase.Double -> lvl28) ##-} ;
1 tpl82 :: PrelBase.Double -> PrelBase.Int {-## __A 1 __C __M (-) __S A __U (\ ds2 ::
PrelBase.Double -> lvl29) ##-} ;
1 tpl83 :: PrelBase.Double -> PrelBase.Integer {-## __A 1 __C __S A __U (\ ds2 ::
PrelBase.Double -> lvl30) ##-} ;
1 tpl84 :: PrelBase.Double -> PrelBase.Double -> PrelBase.Double {-## __A 2 __C __M
(-) __S U(P)U(P) __P zdwtpl13 ##-} ;
1 tpl85 :: PrelBase.Double {-## __A 0 __C __U (PrelBase.Dzh {3.141592653589793}) ##-} ;
1 tpl86 :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P) __U (\ x
:: PrelBase.Double -> case x of wild { PrelBase.Dzh y -> case PrelGHC.zszhzh {1.0 y}
of tpl86 { __DEFAULT -> PrelBase.Dzh {tpl86} } }) ##-} ;
1 tpl87 :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __M (-) __S U(P) __P
zdwtpl12 ##-} ;
1 tpl88 :: PrelBase.Double -> PrelBase.Double {-## __A 1 __C __S U(P) __P zdwtpl11
##-} ;
1 tpl90 :: PrelBase.Integer {-## __A 0 __C __U (PrelBase.Szh {0}) ##-} ;
1 tpl91 :: PrelBase.Double -> PrelBase.Double -> PrelBase.Double {-## __A 2 __C __S
U(P)U(P) __P zdwtpl10 ##-} ;
1 tpl92 :: PrelBase.Double -> PrelBase.Double -> PrelBase.Double {-## __A 2 __C __S
U(P)U(P) __P zdwtpl9 ##-} ;
1 tpl93 :: PrelBase.Double -> PrelBase.Double -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2 of wild {
PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> PrelGHC.zgzhzh {x y} } }) ##-}
;
1 tpl94 :: PrelBase.Double -> PrelBase.Double -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2 of wild {
PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> PrelGHC.zgzezhzh {x y} } })
##-} ;
1 tpl95 :: PrelBase.Double -> PrelBase.Double -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2 of wild {
PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> PrelGHC.zlzezhzh {x y} } })
##-} ;
1 tpl96 :: PrelBase.Double -> PrelBase.Double -> PrelBase.Bool {-## __A 2 __C __S
u(P)u(P) __U (\ ds2 :: PrelBase.Double ds3 :: PrelBase.Double -> case ds2 of wild {
PrelBase.Dzh x -> case ds3 of wild1 { PrelBase.Dzh y -> PrelGHC.zlzhzh {x y} } }) ##-}
;
1 tpl97 :: PrelBase.Double -> PrelBase.Double -> PrelBase.Ordering {-## __A 2 __C __S
U(P)U(P) __P zdwtpl8 ##-} ;
1 tpl98 :: PrelBase.Float -> PrelBase.Float -> PrelBase.Ordering {-## __A 2 __C __S
U(P)U(P) __P zdwtpl7 ##-} ;
1 tpl99 :: PrelBase.Double -> PrelBase.Double -> PrelBase.Bool {-## __A 2 __C __S
U(P)U(P) __P zdwtpl6 ##-} ;
1 truncate :: __forall [b] => {PrelNum.Integral b} -> PrelBase.Float -> b {-## __A 1
__U (\ @ b zddIntegral :: {PrelNum.Integral b} -> let { properFraction1 ::
(PrelBase.Float -> (b, PrelBase.Float)) = properFraction @ b zddIntegral } in \ x ::
PrelBase.Float -> case properFraction1 x of wild { (n, ds2) -> n }) ##-} ;
1 truncate1 :: __forall [b] => {PrelNum.Integral b} -> PrelBase.Double -> b {-## __A 1
__U (\ @ b zddIntegral :: {PrelNum.Integral b} -> let { properFraction2 ::
(PrelBase.Double -> (b, PrelBase.Double)) = properFraction1 @ b zddIntegral } in \ x
:: PrelBase.Double -> case properFraction2 x of wild { (n, ds2) -> n }) ##-} ;
1 zddEq :: {PrelBase.Eq (PrelNum.Ratio PrelBase.Integer)} {-## __A 0 __U (case
PrelNum.zdwzdfEqRatio @ PrelBase.Integer PrelBase.zdfEqInteger of wild { (# ww, ww1 #)
-> PrelBase.ZCDEq {@ (PrelNum.Ratio PrelBase.Integer) ww ww1} }) ##-} ;
1 zddmceiling :: __forall [b] => {PrelNum.Integral b} -> PrelNum.Ratio
PrelBase.Integer -> b {-## __A 0 ##-} ;
1 zddmfloor :: __forall [b] => {PrelNum.Integral b} -> PrelNum.Ratio PrelBase.Integer
-> b {-## __A 0 ##-} ;
1 zddmround :: __forall [b] => {PrelNum.Integral b} -> PrelNum.Ratio PrelBase.Integer
-> b {-## __A 0 ##-} ;
1 zddmtruncate :: __forall [b] => {PrelNum.Integral b} -> PrelNum.Ratio
PrelBase.Integer -> b {-## __A 1 __C __U (\ @ b zddIntegral :: {PrelNum.Integral b} ->
let { properFraction2 :: (PrelNum.Ratio PrelBase.Integer -> (b, PrelNum.Ratio
PrelBase.Integer)) = tpl30 @ b zddIntegral } in \ x :: (PrelNum.Ratio
PrelBase.Integer) -> case properFraction2 x of wild { (m, ds2) -> m }) ##-} ;
1 zdfEnumDouble :: {PrelEnum.Enum PrelBase.Double} {-## __A 0 __U (PrelEnum.ZCDEnum {@
PrelBase.Double tpl70 tpl69 tpl68 tpl67 tpl66 zdsnumericEnumFromThen1
zdsnumericEnumFromTo zdsnumericEnumFromThenTo1}) ##-} ;
1 zdfEnumFloat :: {PrelEnum.Enum PrelBase.Float} {-## __A 0 __U (PrelEnum.ZCDEnum {@
PrelBase.Float tpl43 tpl42 tpl41 tpl40 tpl39 zdsnumericEnumFromThen
zdsnumericEnumFromTo1 zdsnumericEnumFromThenTo}) ##-} ;
1 zdfEnumRatio :: __forall [a] => {PrelNum.Integral a} -> {PrelEnum.Enum
(PrelNum.Ratio a)} {-## __A 1 __M (--------) __P zdwzdfEnumRatio ##-} ;
1 zdfEqDouble :: {PrelBase.Eq PrelBase.Double} {-## __A 0 __C __U (PrelBase.ZCDEq {@
PrelBase.Double tpl100 tpl99}) ##-} ;
1 zdfEqFloat :: {PrelBase.Eq PrelBase.Float} {-## __A 0 __C __U (PrelBase.ZCDEq {@
PrelBase.Float tpl113 tpl112}) ##-} ;
1 zdfFloatingDouble :: {PrelNum.Floating PrelBase.Double} {-## __A 0 __U
(PrelNum.ZCDFloating {@ PrelBase.Double zdfFractionalDouble tpl85 expDouble logDouble
sqrtDouble powerDouble tpl84 sinDouble cosDouble tanDouble asinDouble acosDouble
atanDouble sinhDouble coshDouble tanhDouble tpl103 tpl102 tpl101}) ##-} ;
1 zdfFloatingFloat :: {PrelNum.Floating PrelBase.Float} {-## __A 0 __U
(PrelNum.ZCDFloating {@ PrelBase.Float zdfFractionalFloat tpl61 expFloat logFloat
sqrtFloat powerFloat tpl60 sinFloat cosFloat tanFloat asinFloat acosFloat atanFloat
sinhFloat coshFloat tanhFloat tpl59 tpl58 tpl57}) ##-} ;
1 zdfFractionalDouble :: {PrelNum.Fractional PrelBase.Double} {-## __A 0 __U
(PrelNum.ZCDFractional {@ PrelBase.Double zdfNumDouble divideDouble tpl86
zdsrealToFrac6}) ##-} ;
1 zdfFractionalFloat :: {PrelNum.Fractional PrelBase.Float} {-## __A 0 __U
(PrelNum.ZCDFractional {@ PrelBase.Float zdfNumFloat divideFloat tpl62
zdsrealToFrac3}) ##-} ;
1 zdfFractionalRatio :: __forall [a] => {PrelNum.Integral a} -> {PrelNum.Num
(PrelNum.Ratio a)} -> {PrelNum.Fractional (PrelNum.Ratio a)} {-## __A 2 __M (----) __P
zdwzdfFractionalRatio ##-} ;
1 zdfNumDouble :: {PrelNum.Num PrelBase.Double} {-## __A 0 __U (PrelNum.ZCDNum {@
PrelBase.Double zdfEqDouble zdfShowDouble plusDouble minusDouble timesDouble
negateDouble tpl88 tpl87 tpl105 tpl104}) ##-} ;
1 zdfNumFloat :: {PrelNum.Num PrelBase.Float} {-## __A 0 __U (PrelNum.ZCDNum {@
PrelBase.Float zdfEqFloat zdfShowFloat plusFloat minusFloat timesFloat negateFloat
tpl65 tpl64 tpl63 int2Float}) ##-} ;
1 zdfNumRatio :: __forall [a] => {PrelNum.Integral a} -> {PrelBase.Eq (PrelNum.Ratio
a)} -> {PrelShow.Show (PrelNum.Ratio a)} -> {PrelNum.Num (PrelNum.Ratio a)} {-## __A 3
__M (----------) __P zdwzdfNumRatio ##-} ;
1 zdfOrdDouble :: {PrelBase.Ord PrelBase.Double} {-## __A 0 __C __U (PrelBase.ZCDOrd
{@ PrelBase.Double zdfEqDouble tpl97 tpl96 tpl95 tpl94 tpl93 tpl92 tpl91}) ##-} ;
1 zdfOrdFloat :: {PrelBase.Ord PrelBase.Float} {-## __A 0 __C __U (PrelBase.ZCDOrd {@
PrelBase.Float zdfEqFloat tpl98 tpl111 tpl110 tpl109 tpl108 tpl107 tpl106}) ##-} ;
1 zdfOrdRatio :: __forall [a] => {PrelNum.Integral a} -> {PrelBase.Eq (PrelNum.Ratio
a)} -> {PrelBase.Ord (PrelNum.Ratio a)} {-## __A 2 __M (--------) __P zdwzdfOrdRatio
##-} ;
1 zdfRealDouble :: {PrelNum.Real PrelBase.Double} {-## __A 0 __U (PrelNum.ZCDReal {@
PrelBase.Double zdfNumDouble zdfOrdDouble zdsrealToFrac2}) ##-} ;
1 zdfRealFloat :: {PrelNum.Real PrelBase.Float} {-## __A 0 __U (PrelNum.ZCDReal {@
PrelBase.Float zdfNumFloat zdfOrdFloat zdsrealToFrac1}) ##-} ;
1 zdfRealFloatDouble :: {PrelNum.RealFloat PrelBase.Double} {-## __A 0 __U
(PrelNum.ZCDRealFloat {@ PrelBase.Double zdfRealFracDouble zdfFloatingDouble tpl83
tpl82 tpl81 tpl80 tpl79 tpl78 tpl77 tpl76 tpl75 tpl74 tpl73 tpl72 tpl71 tpl121}) ##-} ;
1 zdfRealFloatFloat :: {PrelNum.RealFloat PrelBase.Float} {-## __A 0 __U
(PrelNum.ZCDRealFloat {@ PrelBase.Float zdfRealFracFloat zdfFloatingFloat tpl56 tpl55
tpl54 tpl53 tpl52 tpl51 tpl50 tpl49 tpl48 tpl47 tpl46 tpl45 tpl44 tpl117}) ##-} ;
1 zdfRealFracDouble :: {PrelNum.RealFrac PrelBase.Double} {-## __A 0 __U
(PrelNum.ZCDRealFrac {@ PrelBase.Double zdfRealDouble zdfFractionalDouble
properFraction1 truncate1 round2 ceiling1 floor1}) ##-} ;
1 zdfRealFracFloat :: {PrelNum.RealFrac PrelBase.Float} {-## __A 0 __U
(PrelNum.ZCDRealFrac {@ PrelBase.Float zdfRealFloat zdfFractionalFloat properFraction
truncate round1 ceiling floor}) ##-} ;
1 zdfRealFracRatio :: __forall [a] => {PrelNum.Integral a} -> {PrelNum.Real
(PrelNum.Ratio a)} -> {PrelNum.Fractional (PrelNum.Ratio a)} -> {PrelNum.RealFrac
(PrelNum.Ratio a)} {-## __A 3 __M (-------) __P zdwzdfRealFracRatio ##-} ;
1 zdfRealRatio :: __forall [a] => {PrelNum.Integral a} -> {PrelNum.Num (PrelNum.Ratio
a)} -> {PrelBase.Ord (PrelNum.Ratio a)} -> {PrelNum.Real (PrelNum.Ratio a)} {-## __A 3
__M (---) __P zdwzdfRealRatio ##-} ;
1 zdfShowDouble :: {PrelShow.Show PrelBase.Double} {-## __A 0 __U (PrelShow.ZCDShow {@
PrelBase.Double tpl120 tpl119 tpl118}) ##-} ;
1 zdfShowFloat :: {PrelShow.Show PrelBase.Float} {-## __A 0 __U (PrelShow.ZCDShow {@
PrelBase.Float tpl116 tpl115 tpl114}) ##-} ;
1 zdfShowRatio :: __forall [a] => {PrelNum.Integral a} -> {PrelShow.Show
(PrelNum.Ratio a)} {-## __A 1 __M (---) __P zdwzdfShowRatio ##-} ;
1 zdsceiling :: PrelBase.Float -> PrelBase.Integer {-## __A 1 __S U(P) __P
zdwzdsceiling ##-} ;
1 zdsceiling1 :: PrelBase.Float -> PrelBase.Int {-## __A 1 __S U(P) __P zdwzdsceiling1
##-} ;
1 zdsceiling2 :: PrelBase.Double -> PrelBase.Integer {-## __A 1 __S U(P) __P
zdwzdsceiling2 ##-} ;
1 zdsceiling3 :: PrelBase.Double -> PrelBase.Int {-## __A 1 __S U(P) __P
zdwzdsceiling3 ##-} ;
1 zdsfloor :: PrelBase.Float -> PrelBase.Integer {-## __A 1 __S U(P) __P zdwzdsfloor
##-} ;
1 zdsfloor1 :: PrelBase.Float -> PrelBase.Int {-## __A 1 __S U(P) __P zdwzdsfloor1
##-} ;
1 zdsfloor2 :: PrelBase.Double -> PrelBase.Integer {-## __A 1 __S U(P) __P
zdwzdsfloor2 ##-} ;
1 zdsfloor3 :: PrelBase.Double -> PrelBase.Int {-## __A 1 __S U(P) __P zdwzdsfloor3
##-} ;
1 zdsformatRealFloat :: FFFormat -> PrelMaybe.Maybe PrelBase.Int -> PrelBase.Float ->
PrelBase.String {-## __A 3 __S LLU(P) __P zdwzdsformatRealFloat ##-} ;
1 zdsfromIntegral :: PrelBase.Int -> PrelBase.Double {-## __A 1 __C __M (-) __S u(P)
__U (\ s9 :: PrelBase.Int -> case s9 of wild { PrelBase.Izh i -> case __ccall
__int_encodeDouble {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Intzh ->
PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Doublezh #))
PrelGHC.realWorldzh i 0} of wild1 { (# ds2, ds3 #) -> PrelBase.Dzh {ds3} } }) ##-} ;
1 zdsfromIntegral1 :: PrelBase.Int -> PrelBase.Float {-## __A 1 __C __M (-) __S u(P)
__U (\ s9 :: PrelBase.Int -> case s9 of wild { PrelBase.Izh i -> case __ccall
__int_encodeFloat {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Intzh ->
PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Floatzh #))
PrelGHC.realWorldzh i 0} of wild1 { (# ds2, ds3 #) -> PrelBase.Fzh {ds3} } }) ##-} ;
1 zdsfromIntegral2 :: PrelBase.Int -> PrelBase.Int {-## __A 1 __C __S u(P) __U (\ s9
:: PrelBase.Int -> s9) ##-} ;
1 zdsfromIntegral3 :: PrelBase.Int -> PrelBase.Integer {-## __A 0 __C __U PrelNum.tpl6
##-} ;
1 zdsfromIntegral4 :: PrelBase.Int -> PrelNum.Ratio PrelBase.Integer {-## __A 1 __C
__S u(P) __U (\ s9 :: PrelBase.Int -> case PrelNum.tpl6 s9 of tpl20 { __DEFAULT ->
case lit of tpl21 { __DEFAULT -> PrelNum.ZCzv {@ PrelBase.Integer tpl20 tpl21} } })
##-} ;
1 zdsfromIntegral5 :: PrelBase.Integer -> PrelBase.Double {-## __A 1 __C __M (-) __S S
__P zdwzdsfromIntegral1 ##-} ;
1 zdsfromIntegral6 :: PrelBase.Integer -> PrelBase.Float {-## __A 1 __C __M (-) __S S
__P zdwzdsfromIntegral ##-} ;
1 zdsfromIntegral7 :: PrelBase.Integer -> PrelBase.Int {-## __A 1 __C __M (-) __S S
__U (\ s9 :: PrelBase.Integer -> case s9 of wild { PrelBase.Szh izh -> PrelBase.Izh
{izh}; PrelBase.Jzh szh dzh -> let { tpl39 :: PrelGHC.Intzh = PrelGHC.integer2Intzh
{szh dzh} } in PrelBase.Izh {tpl39} }) ##-} ;
1 zdsfromIntegral8 :: PrelBase.Integer -> PrelBase.Integer {-## __A 1 __C __S S __U (\
s9 :: PrelBase.Integer -> s9) ##-} ;
1 zdsfromIntegral9 :: PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer {-## __A 1
__C __S S __U (\ s9 :: PrelBase.Integer -> case s9 of tpl20 { __DEFAULT -> case lit of
tpl21 { __DEFAULT -> PrelNum.ZCzv {@ PrelBase.Integer tpl20 tpl21} } }) ##-} ;
1 zdsfromRat :: PrelNum.Rational -> PrelBase.Float {-## __A 1 __U (\ x ::
PrelNum.Rational -> case zeze x lit9 of wild { PrelBase.True -> lvl25; PrelBase.False
-> case tpl21 x lit9 of wild1 { PrelBase.True -> case zdwzdsfromRatzq (tpl25 x) of
wild2 { (# ww #) -> let { tpl91 :: PrelGHC.Floatzh = PrelGHC.negateFloatzh {ww} } in
PrelBase.Fzh {tpl91} }; PrelBase.False -> case zdwzdsfromRatzq x of wild2 { (# ww #)
-> PrelBase.Fzh {ww} } } }) ##-} ;
1 zdsfromRat1 :: PrelNum.Rational -> PrelBase.Double {-## __A 1 __U (\ x ::
PrelNum.Rational -> case zeze x lit9 of wild { PrelBase.True -> lvl26; PrelBase.False
-> case tpl21 x lit9 of wild1 { PrelBase.True -> case zdwzdsfromRatzq1 (tpl25 x) of
wild2 { (# ww #) -> let { tpl91 :: PrelGHC.Doublezh = PrelGHC.negateDoublezh {ww} } in
PrelBase.Dzh {tpl91} }; PrelBase.False -> case zdwzdsfromRatzq1 x of wild2 { (# ww #)
-> PrelBase.Dzh {ww} } } }) ##-} ;
1 zdsfromRatzq :: PrelNum.Rational -> PrelBase.Float {-## __A 1 __M (-) __S S __P
zdwzdsfromRatzq ##-} ;
1 zdsfromRatzq1 :: PrelNum.Rational -> PrelBase.Double {-## __A 1 __M (-) __S S __P
zdwzdsfromRatzq1 ##-} ;
1 zdsnumericEnumFrom :: PrelBase.Double -> [PrelBase.Double] {-## __A 1 __C __U (\ s9
:: PrelBase.Double -> PrelList.iterateList @ PrelBase.Double s1 s9) ##-} ;
1 zdsnumericEnumFrom1 :: PrelBase.Float -> [PrelBase.Float] {-## __A 1 __C __U (\ s9
:: PrelBase.Float -> PrelList.iterateList @ PrelBase.Float s s9) ##-} ;
1 zdsnumericEnumFromThen :: PrelBase.Float -> PrelBase.Float -> [PrelBase.Float] {-##
__A 2 __C __U (\ n :: PrelBase.Float m :: PrelBase.Float -> let { ds2 ::
PrelBase.Float = minusFloat m n } in PrelList.iterateList @ PrelBase.Float (\ ds3 ::
PrelBase.Float -> case ds3 of wild { PrelBase.Fzh x -> case ds2 of wild1 {
PrelBase.Fzh y -> let { tpl34 :: PrelGHC.Floatzh = PrelGHC.plusFloatzh {x y} } in
PrelBase.Fzh {tpl34} } }) n) ##-} ;
1 zdsnumericEnumFromThen1 :: PrelBase.Double -> PrelBase.Double -> [PrelBase.Double]
{-## __A 2 __C __U (\ n :: PrelBase.Double m :: PrelBase.Double -> let { ds2 ::
PrelBase.Double = minusDouble m n } in PrelList.iterateList @ PrelBase.Double (\ ds3
:: PrelBase.Double -> case ds3 of wild { PrelBase.Dzh x -> case ds2 of wild1 {
PrelBase.Dzh y -> let { tpl34 :: PrelGHC.Doublezh = PrelGHC.zpzhzh {x y} } in
PrelBase.Dzh {tpl34} } }) n) ##-} ;
1 zdsnumericEnumFromThenTo :: PrelBase.Float -> PrelBase.Float -> PrelBase.Float ->
[PrelBase.Float] {-## __A 3 __C ##-} ;
1 zdsnumericEnumFromThenTo1 :: PrelBase.Double -> PrelBase.Double -> PrelBase.Double
-> [PrelBase.Double] {-## __A 3 __C ##-} ;
1 zdsnumericEnumFromTo :: PrelBase.Double -> PrelBase.Double -> [PrelBase.Double] {-##
__A 2 __C __U (\ n :: PrelBase.Double m :: PrelBase.Double -> let { ds2 ::
PrelBase.Double = case m of wild { PrelBase.Dzh x -> let { tpl20 :: PrelGHC.Doublezh =
PrelGHC.zpzhzh {x 0.5} } in PrelBase.Dzh {tpl20} } } in PrelList.takeWhile @
PrelBase.Double (\ ds3 :: PrelBase.Double -> case ds3 of wild { PrelBase.Dzh x -> case
ds2 of wild1 { PrelBase.Dzh y -> PrelGHC.zlzezhzh {x y} } }) (PrelList.iterateList @
PrelBase.Double s1 n)) ##-} ;
1 zdsnumericEnumFromTo1 :: PrelBase.Float -> PrelBase.Float -> [PrelBase.Float] {-##
__A 2 __C __U (\ n :: PrelBase.Float m :: PrelBase.Float -> let { ds2 ::
PrelBase.Float = case m of wild { PrelBase.Fzh x -> let { tpl20 :: PrelGHC.Floatzh =
PrelGHC.plusFloatzh {x __float 0.5} } in PrelBase.Fzh {tpl20} } } in
PrelList.takeWhile @ PrelBase.Float (\ ds3 :: PrelBase.Float -> case ds3 of wild {
PrelBase.Fzh x -> case ds2 of wild1 { PrelBase.Fzh y -> PrelGHC.leFloatzh {x y} } })
(PrelList.iterateList @ PrelBase.Float s n)) ##-} ;
1 zdsproperFraction :: PrelBase.Float -> (PrelBase.Integer, PrelBase.Float) {-## __A 1
__S U(P) __P zdwzdsproperFraction ##-} ;
1 zdsproperFraction1 :: PrelBase.Float -> (PrelBase.Int, PrelBase.Float) {-## __A 1
__S U(P) __P zdwzdsproperFraction1 ##-} ;
1 zdsproperFraction2 :: PrelBase.Double -> (PrelBase.Integer, PrelBase.Double) {-##
__A 1 __S U(P) __P zdwzdsproperFraction2 ##-} ;
1 zdsproperFraction3 :: PrelBase.Double -> (PrelBase.Int, PrelBase.Double) {-## __A 1
__S U(P) __P zdwzdsproperFraction3 ##-} ;
1 zdsrealToFrac :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer
{-## __A 1 __C __S S __U (\ s9 :: (PrelNum.Ratio PrelBase.Integer) -> s9) ##-} ;
1 zdsrealToFrac1 :: PrelBase.Float -> PrelNum.Ratio PrelBase.Integer {-## __A 1 __S
U(P) __P zdwzdsrealToFrac ##-} ;
1 zdsrealToFrac2 :: PrelBase.Double -> PrelNum.Ratio PrelBase.Integer {-## __A 1 __S
U(P) __P zdwzdsrealToFrac1 ##-} ;
1 zdsrealToFrac3 :: PrelNum.Ratio PrelBase.Integer -> PrelBase.Float {-## __A 0 __U
zdsfromRat ##-} ;
1 zdsrealToFrac4 :: PrelBase.Float -> PrelBase.Float {-## __A 1 __U (\ s9 ::
PrelBase.Float -> zdsfromRat (case s9 of x { PrelBase.Fzh ww -> zdwzdsrealToFrac ww
})) ##-} ;
1 zdsrealToFrac5 :: PrelBase.Double -> PrelBase.Float {-## __A 1 __U (\ s9 ::
PrelBase.Double -> zdsfromRat (case s9 of x { PrelBase.Dzh ww -> zdwzdsrealToFrac1 ww
})) ##-} ;
1 zdsrealToFrac6 :: PrelNum.Ratio PrelBase.Integer -> PrelBase.Double {-## __A 0 __U
zdsfromRat1 ##-} ;
1 zdsrealToFrac7 :: PrelBase.Float -> PrelBase.Double {-## __A 1 __U (\ s9 ::
PrelBase.Float -> zdsfromRat1 (case s9 of x { PrelBase.Fzh ww -> zdwzdsrealToFrac ww
})) ##-} ;
1 zdsrealToFrac8 :: PrelBase.Double -> PrelBase.Double {-## __A 1 __U (\ s9 ::
PrelBase.Double -> zdsfromRat1 (case s9 of x { PrelBase.Dzh ww -> zdwzdsrealToFrac1 ww
})) ##-} ;
1 zdsround :: PrelBase.Float -> PrelBase.Integer {-## __A 1 __S U(P) __P zdwzdsround
##-} ;
1 zdsround1 :: PrelBase.Float -> PrelBase.Int {-## __A 1 __S U(P) __P zdwzdsround1
##-} ;
1 zdsround2 :: PrelBase.Double -> PrelBase.Integer {-## __A 1 __S U(P) __P
zdwzdsround2 ##-} ;
1 zdsround3 :: PrelBase.Double -> PrelBase.Int {-## __A 1 __S U(P) __P zdwzdsround3
##-} ;
1 zdsshowSigned :: (PrelBase.Double -> PrelShow.ShowS) -> PrelBase.Int ->
PrelBase.Double -> PrelShow.ShowS {-## __A 3 __C __S LLU(P) __P zdwzdsshowSigned1 ##-}
;
1 zdsshowSigned1 :: (PrelBase.Float -> PrelShow.ShowS) -> PrelBase.Int ->
PrelBase.Float -> PrelShow.ShowS {-## __A 3 __C __S LLU(P) __P zdwzdsshowSigned ##-} ;
1 zdstruncate :: PrelBase.Float -> PrelBase.Integer {-## __A 1 __S u(P) __U (\ x ::
PrelBase.Float -> case x of x1 { PrelBase.Fzh ww -> case zdwzdsproperFraction ww of
wild { (n, ds2) -> n } }) ##-} ;
1 zdstruncate1 :: PrelBase.Float -> PrelBase.Int {-## __A 1 __S u(P) __U (\ x ::
PrelBase.Float -> case x of x1 { PrelBase.Fzh ww -> case zdwzdsproperFraction1 ww of
wild { (n, ds2) -> n } }) ##-} ;
1 zdstruncate2 :: PrelBase.Double -> PrelBase.Integer {-## __A 1 __S u(P) __U (\ x ::
PrelBase.Double -> case x of x1 { PrelBase.Dzh ww -> case zdwzdsproperFraction2 ww of
wild { (n, ds2) -> n } }) ##-} ;
1 zdstruncate3 :: PrelBase.Double -> PrelBase.Int {-## __A 1 __S u(P) __U (\ x ::
PrelBase.Double -> case x of x1 { PrelBase.Dzh ww -> case zdwzdsproperFraction3 ww of
wild { (n, ds2) -> n } }) ##-} ;
1 zdszdfFractionalRatio :: {PrelNum.Fractional (PrelNum.Ratio PrelBase.Integer)} {-##
__A 0 __U (PrelNum.ZCDFractional {@ (PrelNum.Ratio PrelBase.Integer) zdszdfNumRatio
tpl19 tpl18 tpl17}) ##-} ;
1 zdszdfNumRatio :: {PrelNum.Num (PrelNum.Ratio PrelBase.Integer)} {-## __A 0 __U
(PrelNum.ZCDNum {@ (PrelNum.Ratio PrelBase.Integer) zddEq zdszdfShowRatio tpl28 tpl27
tpl26 tpl25 tpl24 tpl23 tpl22 tpl29}) ##-} ;
1 zdszdfOrdRatio :: {PrelBase.Ord (PrelNum.Ratio PrelBase.Integer)} {-## __A 0 __U
(PrelBase.ZCDOrd {@ (PrelNum.Ratio PrelBase.Integer) zddEq tpl34 tpl21 tpl20 tpl35
tpl36 tpl37 tpl38}) ##-} ;
1 zdszdfRealFracRatio :: {PrelNum.RealFrac (PrelNum.Ratio PrelBase.Integer)} {-## __A
0 __U (PrelNum.ZCDRealFrac {@ (PrelNum.Ratio PrelBase.Integer) zdszdfRealRatio
zdszdfFractionalRatio tpl30 zddmtruncate zddmround zddmceiling zddmfloor}) ##-} ;
1 zdszdfRealRatio :: {PrelNum.Real (PrelNum.Ratio PrelBase.Integer)} {-## __A 0 __U
(PrelNum.ZCDReal {@ (PrelNum.Ratio PrelBase.Integer) zdszdfNumRatio zdszdfOrdRatio
tpl16}) ##-} ;
1 zdszdfShowRatio :: {PrelShow.Show (PrelNum.Ratio PrelBase.Integer)} {-## __A 0 __U
(PrelShow.ZCDShow {@ (PrelNum.Ratio PrelBase.Integer) tpl31 tpl32 tpl33}) ##-} ;
1 zdwdivideDouble :: PrelGHC.Doublezh -> PrelGHC.Doublezh -> (# PrelGHC.Doublezh #)
{-## __A 2 __C __S PP __U (\ ww :: PrelGHC.Doublezh ww1 :: PrelGHC.Doublezh -> case
PrelGHC.zszhzh {ww ww1} of tpl16 { __DEFAULT -> (# tpl16 #) }) ##-} ;
1 zdwdivideFloat :: PrelGHC.Floatzh -> PrelGHC.Floatzh -> (# PrelGHC.Floatzh #) {-##
__A 2 __C __S PP __U (\ ww :: PrelGHC.Floatzh ww1 :: PrelGHC.Floatzh -> case
PrelGHC.divideFloatzh {ww ww1} of tpl16 { __DEFAULT -> (# tpl16 #) }) ##-} ;
1 zdwencodeDoublezh :: PrelGHC.Intzh -> PrelGHC.ByteArrayzh -> PrelGHC.Intzh -> (#
PrelGHC.Doublezh #) {-## __A 3 __C __S PPP __U (\ ds :: PrelGHC.Intzh ds1 ::
PrelGHC.ByteArrayzh ww :: PrelGHC.Intzh -> case __ccall __encodeDouble {@
(PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Intzh -> PrelGHC.ByteArrayzh ->
PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Doublezh #))
PrelGHC.realWorldzh ds ds1 ww} of wild { (# ds2, ds3 #) -> (# ds3 #) }) ##-} ;
1 zdwencodeFloatzh :: PrelGHC.Intzh -> PrelGHC.ByteArrayzh -> PrelGHC.Intzh -> (#
PrelGHC.Floatzh #) {-## __A 3 __C __S PPP __U (\ ds :: PrelGHC.Intzh ds1 ::
PrelGHC.ByteArrayzh ww :: PrelGHC.Intzh -> case __ccall __encodeFloat {@
(PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Intzh -> PrelGHC.ByteArrayzh ->
PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Floatzh #))
PrelGHC.realWorldzh ds ds1 ww} of wild { (# ds2, ds3 #) -> (# ds3 #) }) ##-} ;
1 zdwexpt :: PrelBase.Integer -> PrelGHC.Intzh -> PrelBase.Integer {-## __A 2 __S SP
__U (\ base :: PrelBase.Integer ww :: PrelGHC.Intzh -> case PrelBase.tpl46 base lvl30
of wild { PrelBase.False -> PrelNum.zdwzdszu1 base ww; PrelBase.True -> case
PrelGHC.zgzezh {ww 0} of wild1 { PrelBase.False -> PrelNum.zdwzdszu1 base ww;
PrelBase.True -> case PrelGHC.zlzezh {ww 1100} of wild2 { PrelBase.True -> case expts
of ww1 { PrelArr.Array ww2 ww3 -> case ww2 of ww4 { (ww5, ww6) -> case ww5 of ww7 {
PrelBase.Izh ww8 -> case ww6 of ww9 { PrelBase.Izh ww10 -> PrelArr.zdwzdszn @
PrelBase.Integer ww8 ww10 ww3 ww } } } }; PrelBase.False -> PrelNum.zdwzdszu1 base ww
} } }) ##-} ;
1 zdwnormalizze :: PrelNum.Rational -> (# PrelNum.Ratio PrelBase.Integer, PrelBase.Int
#) {-## __A 1 __S S ##-} ;
1 zdwprR :: PrelBase.Int -> PrelNum.Rational -> PrelGHC.Intzh -> PrelBase.String {-##
__A 3 __S LSP ##-} ;
1 zdwscaleRat :: PrelNum.Rational -> PrelGHC.Intzh -> PrelNum.Rational ->
PrelNum.Rational -> PrelGHC.Intzh -> PrelNum.Rational -> (# PrelNum.Rational,
PrelBase.Int #) {-## __A 6 __S LPLLPL ##-} ;
1 zdwtpl :: PrelGHC.Floatzh -> PrelGHC.Floatzh -> PrelBase.Bool {-## __A 2 __C __S PP
__U (\ ww :: PrelGHC.Floatzh ww1 :: PrelGHC.Floatzh -> case PrelGHC.eqFloatzh {ww ww1}
of wild { PrelBase.False -> PrelBase.True; PrelBase.True -> PrelBase.False }) ##-} ;
1 zdwtpl1 :: PrelGHC.Floatzh -> PrelGHC.Floatzh -> PrelBase.Float {-## __A 2 __C __S
PP __U (\ ww :: PrelGHC.Floatzh ww1 :: PrelGHC.Floatzh -> case PrelGHC.gtFloatzh {ww
ww1} of wild { PrelBase.True -> PrelBase.Fzh {ww}; PrelBase.False -> PrelBase.Fzh
{ww1} }) ##-} ;
1 zdwtpl10 :: PrelGHC.Doublezh -> PrelGHC.Doublezh -> PrelBase.Double {-## __A 2 __C
__S PP __U (\ ww :: PrelGHC.Doublezh ww1 :: PrelGHC.Doublezh -> case PrelGHC.zgzhzh
{ww ww1} of wild { PrelBase.True -> PrelBase.Dzh {ww1}; PrelBase.False -> PrelBase.Dzh
{ww} }) ##-} ;
1 zdwtpl11 :: PrelGHC.Doublezh -> PrelBase.Double {-## __A 1 __C __S P __U (\ ww ::
PrelGHC.Doublezh -> case PrelGHC.zgzezhzh {ww 0.0} of wild { PrelBase.True ->
PrelBase.Dzh {ww}; PrelBase.False -> let { tpl16 :: PrelGHC.Doublezh =
PrelGHC.negateDoublezh {ww} } in PrelBase.Dzh {tpl16} }) ##-} ;
1 zdwtpl12 :: PrelGHC.Doublezh -> (# PrelGHC.Doublezh #) {-## __A 1 __C __S P __U (\
ww :: PrelGHC.Doublezh -> case PrelGHC.zezezhzh {ww 0.0} of wild { PrelBase.True -> (#
0.0 #); PrelBase.False -> case PrelGHC.zgzhzh {ww 0.0} of wild1 { PrelBase.True -> (#
1.0 #); PrelBase.False -> (# (-1.0) #) } }) ##-} ;
1 zdwtpl13 :: PrelGHC.Doublezh -> PrelGHC.Doublezh -> (# PrelGHC.Doublezh #) {-## __A
2 __C __S PP __U (\ ww :: PrelGHC.Doublezh ww1 :: PrelGHC.Doublezh -> case
PrelGHC.logDoublezh {ww1} of tpl16 { __DEFAULT -> case PrelGHC.logDoublezh {ww} of
tpl17 { __DEFAULT -> case PrelGHC.zszhzh {tpl16 tpl17} of tpl18 { __DEFAULT -> (#
tpl18 #) } } }) ##-} ;
1 zdwtpl14 :: PrelGHC.Doublezh -> (# PrelBase.Integer, PrelBase.Int #) {-## __A 1 __C
__S P __U (\ ww :: PrelGHC.Doublezh -> case PrelGHC.decodeDoublezh {ww} of wild { (#
expzh, szh, dzh #) -> let { s :: PrelBase.Int = PrelBase.Izh {expzh} } in let { s1 ::
PrelBase.Integer = PrelBase.Jzh {szh dzh} } in (# s1, s #) }) ##-} ;
1 zdwtpl15 :: PrelGHC.Doublezh -> (# PrelGHC.Doublezh #) {-## __A 1 __C __S P __U (\
ww :: PrelGHC.Doublezh -> case zdwtpl14 ww of wild { (# ww1, ww2 #) -> case ww1 of
wild1 { PrelBase.Szh i -> case __ccall __int_encodeDouble {@ (PrelGHC.Statezh
PrelGHC.RealWorld -> PrelGHC.Intzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh
PrelGHC.RealWorld, PrelGHC.Doublezh #)) PrelGHC.realWorldzh i (-53)} of wild2 { (# ds,
ds1 #) -> (# ds1 #) }; PrelBase.Jzh szh dzh -> case __ccall __encodeDouble {@
(PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Intzh -> PrelGHC.ByteArrayzh ->
PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Doublezh #))
PrelGHC.realWorldzh szh dzh (-53)} of wild2 { (# ds, ds1 #) -> (# ds1 #) } } }) ##-} ;
1 zdwtpl16 :: PrelGHC.Intzh -> PrelGHC.Doublezh -> (# PrelGHC.Doublezh #) {-## __A 2
__C __S PP __U (\ ww :: PrelGHC.Intzh ww1 :: PrelGHC.Doublezh -> case zdwtpl14 ww1 of
wild { (# ww2, ww3 #) -> case ww2 of wild1 { PrelBase.Szh i -> case ww3 of wild2 {
PrelBase.Izh x -> case __ccall __int_encodeDouble {@ (PrelGHC.Statezh
PrelGHC.RealWorld -> PrelGHC.Intzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh
PrelGHC.RealWorld, PrelGHC.Doublezh #)) PrelGHC.realWorldzh i (PrelGHC.zpzh {x ww})}
of wild3 { (# ds, ds1 #) -> (# ds1 #) } }; PrelBase.Jzh szh dzh -> case ww3 of wild2 {
PrelBase.Izh x -> case __ccall __encodeDouble {@ (PrelGHC.Statezh PrelGHC.RealWorld ->
PrelGHC.Intzh -> PrelGHC.ByteArrayzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh
PrelGHC.RealWorld, PrelGHC.Doublezh #)) PrelGHC.realWorldzh szh dzh (PrelGHC.zpzh {x
ww})} of wild3 { (# ds, ds1 #) -> (# ds1 #) } } } }) ##-} ;
1 zdwtpl17 :: PrelGHC.Doublezh -> PrelBase.Bool {-## __A 1 __C __S P __U (\ ww ::
PrelGHC.Doublezh -> case __ccall isDoubleNaN {@ (PrelGHC.Statezh PrelGHC.RealWorld ->
PrelGHC.Doublezh -> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Intzh #))
PrelGHC.realWorldzh ww} of wild { (# ds, ds1 #) -> case ds1 of ds2 { 0 ->
PrelBase.False; __DEFAULT -> PrelBase.True } }) ##-} ;
1 zdwtpl18 :: PrelGHC.Doublezh -> PrelBase.Bool {-## __A 1 __C __S P __U (\ ww ::
PrelGHC.Doublezh -> case __ccall isDoubleInfinite {@ (PrelGHC.Statezh
PrelGHC.RealWorld -> PrelGHC.Doublezh -> (# PrelGHC.Statezh PrelGHC.RealWorld,
PrelGHC.Intzh #)) PrelGHC.realWorldzh ww} of wild { (# ds, ds1 #) -> case ds1 of ds2 {
0 -> PrelBase.False; __DEFAULT -> PrelBase.True } }) ##-} ;
1 zdwtpl19 :: PrelGHC.Doublezh -> PrelBase.Bool {-## __A 1 __C __S P __U (\ ww ::
PrelGHC.Doublezh -> case __ccall isDoubleDenormalized {@ (PrelGHC.Statezh
PrelGHC.RealWorld -> PrelGHC.Doublezh -> (# PrelGHC.Statezh PrelGHC.RealWorld,
PrelGHC.Intzh #)) PrelGHC.realWorldzh ww} of wild { (# ds, ds1 #) -> case ds1 of ds2 {
0 -> PrelBase.False; __DEFAULT -> PrelBase.True } }) ##-} ;
1 zdwtpl2 :: PrelGHC.Floatzh -> PrelGHC.Floatzh -> PrelBase.Float {-## __A 2 __C __S
PP __U (\ ww :: PrelGHC.Floatzh ww1 :: PrelGHC.Floatzh -> case PrelGHC.gtFloatzh {ww
ww1} of wild { PrelBase.True -> PrelBase.Fzh {ww1}; PrelBase.False -> PrelBase.Fzh
{ww} }) ##-} ;
1 zdwtpl20 :: PrelGHC.Doublezh -> PrelBase.Bool {-## __A 1 __C __S P __U (\ ww ::
PrelGHC.Doublezh -> case __ccall isDoubleNegativeZero {@ (PrelGHC.Statezh
PrelGHC.RealWorld -> PrelGHC.Doublezh -> (# PrelGHC.Statezh PrelGHC.RealWorld,
PrelGHC.Intzh #)) PrelGHC.realWorldzh ww} of wild { (# ds, ds1 #) -> case ds1 of ds2 {
0 -> PrelBase.False; __DEFAULT -> PrelBase.True } }) ##-} ;
1 zdwtpl21 :: PrelGHC.Floatzh -> PrelBase.Float {-## __A 1 __C __S P __U (\ ww ::
PrelGHC.Floatzh -> case PrelGHC.geFloatzh {ww __float 0.0} of wild { PrelBase.True ->
PrelBase.Fzh {ww}; PrelBase.False -> let { tpl16 :: PrelGHC.Floatzh =
PrelGHC.negateFloatzh {ww} } in PrelBase.Fzh {tpl16} }) ##-} ;
1 zdwtpl22 :: PrelGHC.Floatzh -> (# PrelGHC.Floatzh #) {-## __A 1 __C __S P __U (\ ww
:: PrelGHC.Floatzh -> case PrelGHC.eqFloatzh {ww __float 0.0} of wild { PrelBase.True
-> (# __float 0.0 #); PrelBase.False -> case PrelGHC.gtFloatzh {ww __float 0.0} of
wild1 { PrelBase.True -> (# __float 1.0 #); PrelBase.False -> (# __float -1.0 #) } })
##-} ;
1 zdwtpl23 :: PrelGHC.Floatzh -> PrelGHC.Floatzh -> (# PrelGHC.Floatzh #) {-## __A 2
__C __S PP __U (\ ww :: PrelGHC.Floatzh ww1 :: PrelGHC.Floatzh -> case
PrelGHC.logFloatzh {ww1} of tpl16 { __DEFAULT -> case PrelGHC.logFloatzh {ww} of tpl17
{ __DEFAULT -> case PrelGHC.divideFloatzh {tpl16 tpl17} of tpl18 { __DEFAULT -> (#
tpl18 #) } } }) ##-} ;
1 zdwtpl24 :: PrelGHC.Floatzh -> (# PrelGHC.Floatzh #) {-## __A 1 __C __S P __U (\ ww
:: PrelGHC.Floatzh -> case PrelGHC.logFloatzh {(PrelGHC.plusFloatzh {ww
(PrelGHC.sqrtFloatzh {(PrelGHC.plusFloatzh {__float 1.0 (PrelGHC.timesFloatzh {ww
ww})})})})} of tpl16 { __DEFAULT -> (# tpl16 #) }) ##-} ;
1 zdwtpl25 :: PrelGHC.Floatzh -> (# PrelGHC.Floatzh #) {-## __A 1 __C __S P __U (\ ww
:: PrelGHC.Floatzh -> case PrelGHC.divideFloatzh {(PrelGHC.minusFloatzh {ww __float
1.0}) (PrelGHC.plusFloatzh {ww __float 1.0})} of tpl16 { __DEFAULT -> case
PrelGHC.logFloatzh {(PrelGHC.plusFloatzh {ww (PrelGHC.timesFloatzh
{(PrelGHC.plusFloatzh {ww __float 1.0}) (PrelGHC.sqrtFloatzh {tpl16})})})} of tpl17 {
__DEFAULT -> (# tpl17 #) } }) ##-} ;
1 zdwtpl26 :: PrelGHC.Floatzh -> (# PrelGHC.Floatzh #) {-## __A 1 __C __S P __U (\ ww
:: PrelGHC.Floatzh -> case PrelGHC.divideFloatzh {(PrelGHC.plusFloatzh {ww __float
1.0}) (PrelGHC.sqrtFloatzh {(PrelGHC.minusFloatzh {__float 1.0 (PrelGHC.timesFloatzh
{ww ww})})})} of tpl16 { __DEFAULT -> case PrelGHC.logFloatzh {tpl16} of tpl17 {
__DEFAULT -> (# tpl17 #) } }) ##-} ;
1 zdwtpl27 :: PrelGHC.Floatzh -> (# PrelBase.Integer, PrelBase.Int #) {-## __A 1 __C
__S P __U (\ ww :: PrelGHC.Floatzh -> case PrelGHC.decodeFloatzh {ww} of wild { (#
expzh, szh, dzh #) -> let { s :: PrelBase.Int = PrelBase.Izh {expzh} } in let { s1 ::
PrelBase.Integer = PrelBase.Jzh {szh dzh} } in (# s1, s #) }) ##-} ;
1 zdwtpl28 :: PrelGHC.Floatzh -> (# PrelGHC.Floatzh #) {-## __A 1 __C __S P __U (\ ww
:: PrelGHC.Floatzh -> case zdwtpl27 ww of wild { (# ww1, ww2 #) -> case ww1 of wild1 {
PrelBase.Szh i -> case __ccall __int_encodeFloat {@ (PrelGHC.Statezh PrelGHC.RealWorld
-> PrelGHC.Intzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld,
PrelGHC.Floatzh #)) PrelGHC.realWorldzh i (-24)} of wild2 { (# ds, ds1 #) -> (# ds1 #)
}; PrelBase.Jzh szh dzh -> case __ccall __encodeFloat {@ (PrelGHC.Statezh
PrelGHC.RealWorld -> PrelGHC.Intzh -> PrelGHC.ByteArrayzh -> PrelGHC.Intzh -> (#
PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Floatzh #)) PrelGHC.realWorldzh szh dzh
(-24)} of wild2 { (# ds, ds1 #) -> (# ds1 #) } } }) ##-} ;
1 zdwtpl29 :: PrelGHC.Intzh -> PrelGHC.Floatzh -> (# PrelGHC.Floatzh #) {-## __A 2 __C
__S PP __U (\ ww :: PrelGHC.Intzh ww1 :: PrelGHC.Floatzh -> case zdwtpl27 ww1 of wild
{ (# ww2, ww3 #) -> case ww2 of wild1 { PrelBase.Szh i -> case ww3 of wild2 {
PrelBase.Izh x -> case __ccall __int_encodeFloat {@ (PrelGHC.Statezh PrelGHC.RealWorld
-> PrelGHC.Intzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld,
PrelGHC.Floatzh #)) PrelGHC.realWorldzh i (PrelGHC.zpzh {x ww})} of wild3 { (# ds, ds1
#) -> (# ds1 #) } }; PrelBase.Jzh szh dzh -> case ww3 of wild2 { PrelBase.Izh x ->
case __ccall __encodeFloat {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Intzh ->
PrelGHC.ByteArrayzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld,
PrelGHC.Floatzh #)) PrelGHC.realWorldzh szh dzh (PrelGHC.zpzh {x ww})} of wild3 { (#
ds, ds1 #) -> (# ds1 #) } } } }) ##-} ;
1 zdwtpl3 :: PrelGHC.Doublezh -> (# PrelGHC.Doublezh #) {-## __A 1 __C __S P __U (\ ww
:: PrelGHC.Doublezh -> case PrelGHC.logDoublezh {(PrelGHC.zpzhzh {ww
(PrelGHC.sqrtDoublezh {(PrelGHC.zpzhzh {1.0 (PrelGHC.ztzhzh {ww ww})})})})} of tpl16 {
__DEFAULT -> (# tpl16 #) }) ##-} ;
1 zdwtpl30 :: PrelGHC.Floatzh -> PrelBase.Bool {-## __A 1 __C __S P __U (\ ww ::
PrelGHC.Floatzh -> case __ccall isFloatNaN {@ (PrelGHC.Statezh PrelGHC.RealWorld ->
PrelGHC.Floatzh -> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Intzh #))
PrelGHC.realWorldzh ww} of wild { (# ds, ds1 #) -> case ds1 of ds2 { 0 ->
PrelBase.False; __DEFAULT -> PrelBase.True } }) ##-} ;
1 zdwtpl31 :: PrelGHC.Floatzh -> PrelBase.Bool {-## __A 1 __C __S P __U (\ ww ::
PrelGHC.Floatzh -> case __ccall isFloatInfinite {@ (PrelGHC.Statezh PrelGHC.RealWorld
-> PrelGHC.Floatzh -> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Intzh #))
PrelGHC.realWorldzh ww} of wild { (# ds, ds1 #) -> case ds1 of ds2 { 0 ->
PrelBase.False; __DEFAULT -> PrelBase.True } }) ##-} ;
1 zdwtpl32 :: PrelGHC.Floatzh -> PrelBase.Bool {-## __A 1 __C __S P __U (\ ww ::
PrelGHC.Floatzh -> case __ccall isFloatDenormalized {@ (PrelGHC.Statezh
PrelGHC.RealWorld -> PrelGHC.Floatzh -> (# PrelGHC.Statezh PrelGHC.RealWorld,
PrelGHC.Intzh #)) PrelGHC.realWorldzh ww} of wild { (# ds, ds1 #) -> case ds1 of ds2 {
0 -> PrelBase.False; __DEFAULT -> PrelBase.True } }) ##-} ;
1 zdwtpl33 :: PrelGHC.Floatzh -> PrelBase.Bool {-## __A 1 __C __S P __U (\ ww ::
PrelGHC.Floatzh -> case __ccall isFloatNegativeZero {@ (PrelGHC.Statezh
PrelGHC.RealWorld -> PrelGHC.Floatzh -> (# PrelGHC.Statezh PrelGHC.RealWorld,
PrelGHC.Intzh #)) PrelGHC.realWorldzh ww} of wild { (# ds, ds1 #) -> case ds1 of ds2 {
0 -> PrelBase.False; __DEFAULT -> PrelBase.True } }) ##-} ;
1 zdwtpl34 :: PrelGHC.Intzh -> PrelNum.Ratio PrelBase.Integer -> [PrelBase.Char] ->
[PrelBase.Char] {-## __A 3 __S PSL __U (\ ww :: PrelGHC.Intzh ds :: (PrelNum.Ratio
PrelBase.Integer) s :: [PrelBase.Char] -> case ds of wild { PrelNum.ZCzv x y -> case
PrelGHC.zgzh {ww 7} of wild1 { PrelBase.True -> let { tpl16 :: [PrelBase.Char] =
PrelNum.showSignedInteger PrelBase.zzeroInt x (PrelBase.append @ PrelBase.Char lvl4
(PrelNum.showSignedInteger PrelBase.zzeroInt y (PrelBase.ZC {@ PrelBase.Char
PrelShow.s23 s}))) } in PrelBase.ZC {@ PrelBase.Char PrelShow.s22 tpl16};
PrelBase.False -> PrelNum.showSignedInteger PrelBase.zzeroInt x (PrelBase.append @
PrelBase.Char lvl4 (PrelNum.showSignedInteger PrelBase.zzeroInt y s)) } }) ##-} ;
1 zdwtpl35 :: PrelGHC.Intzh -> PrelNum.Ratio PrelBase.Integer {-## __A 1 __C __S P __U
(\ ww :: PrelGHC.Intzh -> case lit of tpl16 { __DEFAULT -> let { tpl17 ::
PrelBase.Integer = PrelBase.Szh {ww} } in PrelNum.ZCzv {@ PrelBase.Integer tpl17
tpl16} }) ##-} ;
1 zdwtpl36 :: PrelGHC.Floatzh -> (# PrelGHC.Intzh #) {-## __A 1 __S P __U (\ ww ::
PrelGHC.Floatzh -> case zdwzdsproperFraction ww of wild { (n, ds2) -> case n of wild1
{ PrelBase.Szh izh -> (# izh #); PrelBase.Jzh szh dzh -> let { tpl39 :: PrelGHC.Intzh
= PrelGHC.integer2Intzh {szh dzh} } in (# tpl39 #) } }) ##-} ;
1 zdwtpl37 :: PrelGHC.Doublezh -> (# PrelGHC.Intzh #) {-## __A 1 __S P __U (\ ww ::
PrelGHC.Doublezh -> case zdwzdsproperFraction2 ww of wild { (n, ds2) -> case n of
wild1 { PrelBase.Szh izh -> (# izh #); PrelBase.Jzh szh dzh -> let { tpl39 ::
PrelGHC.Intzh = PrelGHC.integer2Intzh {szh dzh} } in (# tpl39 #) } }) ##-} ;
1 zdwtpl38 :: PrelGHC.Floatzh -> (# PrelGHC.Intzh #) {-## __A 1 __C __S P __U (\ ww ::
PrelGHC.Floatzh -> case zdwtpl27 ww of wild { (# ww1, ww2 #) -> case PrelBase.tpl46
ww1 lit8 of wild1 { PrelBase.True -> (# 0 #); PrelBase.False -> case ww2 of wild2 {
PrelBase.Izh x -> let { tpl34 :: PrelGHC.Intzh = PrelGHC.zpzh {x 24} } in (# tpl34 #)
} } }) ##-} ;
1 zdwtpl39 :: PrelGHC.Doublezh -> (# PrelGHC.Intzh #) {-## __A 1 __C __S P __U (\ ww
:: PrelGHC.Doublezh -> case zdwtpl14 ww of wild { (# ww1, ww2 #) -> case
PrelBase.tpl46 ww1 lit8 of wild1 { PrelBase.True -> (# 0 #); PrelBase.False -> case
ww2 of wild2 { PrelBase.Izh x -> let { tpl34 :: PrelGHC.Intzh = PrelGHC.zpzh {x 53} }
in (# tpl34 #) } } }) ##-} ;
1 zdwtpl4 :: PrelGHC.Doublezh -> (# PrelGHC.Doublezh #) {-## __A 1 __C __S P __U (\ ww
:: PrelGHC.Doublezh -> case PrelGHC.zszhzh {(PrelGHC.zmzhzh {ww 1.0}) (PrelGHC.zpzhzh
{ww 1.0})} of tpl16 { __DEFAULT -> case PrelGHC.logDoublezh {(PrelGHC.zpzhzh {ww
(PrelGHC.ztzhzh {(PrelGHC.zpzhzh {ww 1.0}) (PrelGHC.sqrtDoublezh {tpl16})})})} of
tpl17 { __DEFAULT -> (# tpl17 #) } }) ##-} ;
1 zdwtpl40 :: PrelGHC.Floatzh -> PrelBase.String {-## __A 1 __S P __U (\ ww ::
PrelGHC.Floatzh -> zdwtpl41 PrelBase.zzeroInt ww (PrelBase.ZMZN {@ PrelBase.Char}))
##-} ;
1 zdwtpl41 :: PrelBase.Int -> PrelGHC.Floatzh -> [PrelBase.Char] -> [PrelBase.Char]
{-## __A 3 __S LPL ##-} ;
1 zdwtpl42 :: PrelGHC.Doublezh -> PrelBase.String {-## __A 1 __S P __U (\ ww ::
PrelGHC.Doublezh -> zdwtpl43 PrelBase.zzeroInt ww (PrelBase.ZMZN {@ PrelBase.Char}))
##-} ;
1 zdwtpl43 :: PrelBase.Int -> PrelGHC.Doublezh -> [PrelBase.Char] -> [PrelBase.Char]
{-## __A 3 __S LPL ##-} ;
1 zdwtpl5 :: PrelGHC.Doublezh -> (# PrelGHC.Doublezh #) {-## __A 1 __C __S P __U (\ ww
:: PrelGHC.Doublezh -> case PrelGHC.zszhzh {(PrelGHC.zpzhzh {ww 1.0})
(PrelGHC.sqrtDoublezh {(PrelGHC.zmzhzh {1.0 (PrelGHC.ztzhzh {ww ww})})})} of tpl16 {
__DEFAULT -> case PrelGHC.logDoublezh {tpl16} of tpl17 { __DEFAULT -> (# tpl17 #) } })
##-} ;
1 zdwtpl6 :: PrelGHC.Doublezh -> PrelGHC.Doublezh -> PrelBase.Bool {-## __A 2 __C __S
PP __U (\ ww :: PrelGHC.Doublezh ww1 :: PrelGHC.Doublezh -> case PrelGHC.zezezhzh {ww
ww1} of wild { PrelBase.False -> PrelBase.True; PrelBase.True -> PrelBase.False })
##-} ;
1 zdwtpl7 :: PrelGHC.Floatzh -> PrelGHC.Floatzh -> PrelBase.Ordering {-## __A 2 __C
__S PP __U (\ ww :: PrelGHC.Floatzh ww1 :: PrelGHC.Floatzh -> case PrelGHC.ltFloatzh
{ww ww1} of wild { PrelBase.True -> PrelBase.LT; PrelBase.False -> case
PrelGHC.eqFloatzh {ww ww1} of wild1 { PrelBase.True -> PrelBase.EQ; PrelBase.False ->
PrelBase.GT } }) ##-} ;
1 zdwtpl8 :: PrelGHC.Doublezh -> PrelGHC.Doublezh -> PrelBase.Ordering {-## __A 2 __C
__S PP __U (\ ww :: PrelGHC.Doublezh ww1 :: PrelGHC.Doublezh -> case PrelGHC.zlzhzh
{ww ww1} of wild { PrelBase.True -> PrelBase.LT; PrelBase.False -> case
PrelGHC.zezezhzh {ww ww1} of wild1 { PrelBase.True -> PrelBase.EQ; PrelBase.False ->
PrelBase.GT } }) ##-} ;
1 zdwtpl9 :: PrelGHC.Doublezh -> PrelGHC.Doublezh -> PrelBase.Double {-## __A 2 __C
__S PP __U (\ ww :: PrelGHC.Doublezh ww1 :: PrelGHC.Doublezh -> case PrelGHC.zgzhzh
{ww ww1} of wild { PrelBase.True -> PrelBase.Dzh {ww}; PrelBase.False -> PrelBase.Dzh
{ww1} }) ##-} ;
1 zdwzdfEnumRatio :: __forall [a] => {PrelNum.Integral a} -> (# PrelNum.Ratio a ->
PrelNum.Ratio a, PrelNum.Ratio a -> PrelNum.Ratio a, PrelBase.Int -> PrelNum.Ratio a,
PrelNum.Ratio a -> PrelBase.Int, PrelNum.Ratio a -> [PrelNum.Ratio a], PrelNum.Ratio a
-> PrelNum.Ratio a -> [PrelNum.Ratio a], PrelNum.Ratio a -> PrelNum.Ratio a ->
[PrelNum.Ratio a], PrelNum.Ratio a -> PrelNum.Ratio a -> PrelNum.Ratio a ->
[PrelNum.Ratio a] #) {-## __A 1 ##-} ;
1 zdwzdfFractionalRatio :: __forall [a] => {PrelNum.Integral a} -> {PrelNum.Num
(PrelNum.Ratio a)} -> (# {PrelNum.Num (PrelNum.Ratio a)}, PrelNum.Ratio a ->
PrelNum.Ratio a -> PrelNum.Ratio a, PrelNum.Ratio a -> PrelNum.Ratio a,
PrelNum.Rational -> PrelNum.Ratio a #) {-## __A 2 ##-} ;
1 zdwzdfNumRatio :: __forall [a] => {PrelNum.Integral a} -> {PrelBase.Eq
(PrelNum.Ratio a)} -> {PrelShow.Show (PrelNum.Ratio a)} -> (# {PrelBase.Eq
(PrelNum.Ratio a)}, {PrelShow.Show (PrelNum.Ratio a)}, PrelNum.Ratio a ->
PrelNum.Ratio a -> PrelNum.Ratio a, PrelNum.Ratio a -> PrelNum.Ratio a ->
PrelNum.Ratio a, PrelNum.Ratio a -> PrelNum.Ratio a -> PrelNum.Ratio a, PrelNum.Ratio
a -> PrelNum.Ratio a, PrelNum.Ratio a -> PrelNum.Ratio a, PrelNum.Ratio a ->
PrelNum.Ratio a, PrelBase.Integer -> PrelNum.Ratio a, PrelBase.Int -> PrelNum.Ratio a
#) {-## __A 3 ##-} ;
1 zdwzdfOrdRatio :: __forall [a] => {PrelNum.Integral a} -> {PrelBase.Eq
(PrelNum.Ratio a)} -> (# {PrelBase.Eq (PrelNum.Ratio a)}, PrelNum.Ratio a ->
PrelNum.Ratio a -> PrelBase.Ordering, PrelNum.Ratio a -> PrelNum.Ratio a ->
PrelBase.Bool, PrelNum.Ratio a -> PrelNum.Ratio a -> PrelBase.Bool, PrelNum.Ratio a ->
PrelNum.Ratio a -> PrelBase.Bool, PrelNum.Ratio a -> PrelNum.Ratio a -> PrelBase.Bool,
PrelNum.Ratio a -> PrelNum.Ratio a -> PrelNum.Ratio a, PrelNum.Ratio a ->
PrelNum.Ratio a -> PrelNum.Ratio a #) {-## __A 2 ##-} ;
1 zdwzdfRealFracRatio :: __forall [a] => {PrelNum.Integral a} -> {PrelNum.Real
(PrelNum.Ratio a)} -> {PrelNum.Fractional (PrelNum.Ratio a)} -> (# {PrelNum.Real
(PrelNum.Ratio a)}, {PrelNum.Fractional (PrelNum.Ratio a)}, __forall [b] =>
{PrelNum.Integral b} -> PrelNum.Ratio a -> (b, PrelNum.Ratio a), __forall [b] =>
{PrelNum.Integral b} -> PrelNum.Ratio a -> b, __forall [b] => {PrelNum.Integral b} ->
PrelNum.Ratio a -> b, __forall [b] => {PrelNum.Integral b} -> PrelNum.Ratio a -> b,
__forall [b] => {PrelNum.Integral b} -> PrelNum.Ratio a -> b #) {-## __A 3 ##-} ;
1 zdwzdfRealRatio :: __forall [a] => {PrelNum.Integral a} -> {PrelNum.Num
(PrelNum.Ratio a)} -> {PrelBase.Ord (PrelNum.Ratio a)} -> (# {PrelNum.Num
(PrelNum.Ratio a)}, {PrelBase.Ord (PrelNum.Ratio a)}, PrelNum.Ratio a ->
PrelNum.Rational #) {-## __A 3 __U (\ @ a zddIntegral :: {PrelNum.Integral a} zddNum
:: {PrelNum.Num (PrelNum.Ratio a)} zddOrd :: {PrelBase.Ord (PrelNum.Ratio a)} -> let {
toInteger :: (a -> PrelBase.Integer) = PrelNum.toInteger @ a zddIntegral } in let {
tpl16 :: (PrelNum.Ratio a -> PrelNum.Rational) = \ ds :: (PrelNum.Ratio a) -> case ds
of wild { PrelNum.ZCzv x y -> case toInteger x of tpl16 { __DEFAULT -> case toInteger
y of tpl17 { __DEFAULT -> PrelNum.ZCzv {@ PrelBase.Integer tpl16 tpl17} } } } } in (#
zddNum, zddOrd, tpl16 #)) ##-} ;
1 zdwzdfShowRatio :: __forall [a] => {PrelNum.Integral a} -> (# PrelBase.Int ->
PrelNum.Ratio a -> PrelShow.ShowS, PrelNum.Ratio a -> PrelBase.String, [PrelNum.Ratio
a] -> PrelShow.ShowS #) {-## __A 1 ##-} ;
1 zdwzdsceiling :: PrelGHC.Floatzh -> PrelBase.Integer {-## __A 1 __S P __U (\ ww ::
PrelGHC.Floatzh -> case zdwzdsproperFraction ww of wild { (n, r) -> case r of wild1 {
PrelBase.Fzh x -> case PrelGHC.gtFloatzh {x __float 0.0} of wild2 { PrelBase.True ->
PrelNum.tpl21 n lit; PrelBase.False -> n } } }) ##-} ;
1 zdwzdsceiling1 :: PrelGHC.Floatzh -> PrelBase.Int {-## __A 1 __S P __U (\ ww ::
PrelGHC.Floatzh -> case zdwzdsproperFraction1 ww of wild { (n, r) -> case r of wild1 {
PrelBase.Fzh x -> case PrelGHC.gtFloatzh {x __float 0.0} of wild2 { PrelBase.True ->
case n of wild3 { PrelBase.Izh x1 -> let { tpl34 :: PrelGHC.Intzh = PrelGHC.zpzh {x1
1} } in PrelBase.Izh {tpl34} }; PrelBase.False -> n } } }) ##-} ;
1 zdwzdsceiling2 :: PrelGHC.Doublezh -> PrelBase.Integer {-## __A 1 __S P __U (\ ww ::
PrelGHC.Doublezh -> case zdwzdsproperFraction2 ww of wild { (n, r) -> case r of wild1
{ PrelBase.Dzh x -> case PrelGHC.zgzhzh {x 0.0} of wild2 { PrelBase.True ->
PrelNum.tpl21 n lit; PrelBase.False -> n } } }) ##-} ;
1 zdwzdsceiling3 :: PrelGHC.Doublezh -> PrelBase.Int {-## __A 1 __S P __U (\ ww ::
PrelGHC.Doublezh -> case zdwzdsproperFraction3 ww of wild { (n, r) -> case r of wild1
{ PrelBase.Dzh x -> case PrelGHC.zgzhzh {x 0.0} of wild2 { PrelBase.True -> case n of
wild3 { PrelBase.Izh x1 -> let { tpl34 :: PrelGHC.Intzh = PrelGHC.zpzh {x1 1} } in
PrelBase.Izh {tpl34} }; PrelBase.False -> n } } }) ##-} ;
1 zdwzdsfloor :: PrelGHC.Floatzh -> PrelBase.Integer {-## __A 1 __S P __U (\ ww ::
PrelGHC.Floatzh -> case zdwzdsproperFraction ww of wild { (n, r) -> case r of wild1 {
PrelBase.Fzh x -> case PrelGHC.ltFloatzh {x __float 0.0} of wild2 { PrelBase.True ->
PrelNum.tpl18 n lit; PrelBase.False -> n } } }) ##-} ;
1 zdwzdsfloor1 :: PrelGHC.Floatzh -> PrelBase.Int {-## __A 1 __S P __U (\ ww ::
PrelGHC.Floatzh -> case zdwzdsproperFraction1 ww of wild { (n, r) -> case r of wild1 {
PrelBase.Fzh x -> case PrelGHC.ltFloatzh {x __float 0.0} of wild2 { PrelBase.True ->
case n of wild3 { PrelBase.Izh x1 -> let { tpl34 :: PrelGHC.Intzh = PrelGHC.zmzh {x1
1} } in PrelBase.Izh {tpl34} }; PrelBase.False -> n } } }) ##-} ;
1 zdwzdsfloor2 :: PrelGHC.Doublezh -> PrelBase.Integer {-## __A 1 __S P __U (\ ww ::
PrelGHC.Doublezh -> case zdwzdsproperFraction2 ww of wild { (n, r) -> case r of wild1
{ PrelBase.Dzh x -> case PrelGHC.zlzhzh {x 0.0} of wild2 { PrelBase.True ->
PrelNum.tpl18 n lit; PrelBase.False -> n } } }) ##-} ;
1 zdwzdsfloor3 :: PrelGHC.Doublezh -> PrelBase.Int {-## __A 1 __S P __U (\ ww ::
PrelGHC.Doublezh -> case zdwzdsproperFraction3 ww of wild { (n, r) -> case r of wild1
{ PrelBase.Dzh x -> case PrelGHC.zlzhzh {x 0.0} of wild2 { PrelBase.True -> case n of
wild3 { PrelBase.Izh x1 -> let { tpl34 :: PrelGHC.Intzh = PrelGHC.zmzh {x1 1} } in
PrelBase.Izh {tpl34} }; PrelBase.False -> n } } }) ##-} ;
1 zdwzdsformatRealFloat :: FFFormat -> PrelMaybe.Maybe PrelBase.Int -> PrelGHC.Floatzh
-> [PrelBase.Char] {-## __A 3 __S LLP ##-} ;
1 zdwzdsfromIntegral :: PrelBase.Integer -> (# PrelGHC.Floatzh #) {-## __A 1 __C __S S
__U (\ s :: PrelBase.Integer -> case s of wild { PrelBase.Szh i -> case __ccall
__int_encodeFloat {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Intzh ->
PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Floatzh #))
PrelGHC.realWorldzh i 0} of wild1 { (# ds, ds1 #) -> (# ds1 #) }; PrelBase.Jzh szh dzh
-> case __ccall __encodeFloat {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Intzh
-> PrelGHC.ByteArrayzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld,
PrelGHC.Floatzh #)) PrelGHC.realWorldzh szh dzh 0} of wild1 { (# ds, ds1 #) -> (# ds1
#) } }) ##-} ;
1 zdwzdsfromIntegral1 :: PrelBase.Integer -> (# PrelGHC.Doublezh #) {-## __A 1 __C __S
S __U (\ s :: PrelBase.Integer -> case s of wild { PrelBase.Szh i -> case __ccall
__int_encodeDouble {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Intzh ->
PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld, PrelGHC.Doublezh #))
PrelGHC.realWorldzh i 0} of wild1 { (# ds, ds1 #) -> (# ds1 #) }; PrelBase.Jzh szh dzh
-> case __ccall __encodeDouble {@ (PrelGHC.Statezh PrelGHC.RealWorld -> PrelGHC.Intzh
-> PrelGHC.ByteArrayzh -> PrelGHC.Intzh -> (# PrelGHC.Statezh PrelGHC.RealWorld,
PrelGHC.Doublezh #)) PrelGHC.realWorldzh szh dzh 0} of wild1 { (# ds, ds1 #) -> (# ds1
#) } }) ##-} ;
1 zdwzdsfromRatzq :: PrelNum.Rational -> (# PrelGHC.Floatzh #) {-## __A 1 __S S ##-} ;
1 zdwzdsfromRatzq1 :: PrelNum.Rational -> (# PrelGHC.Doublezh #) {-## __A 1 __S S ##-}
;
1 zdwzdsproperFraction :: PrelGHC.Floatzh -> (PrelBase.Integer, PrelBase.Float) {-##
__A 1 __S P ##-} ;
1 zdwzdsproperFraction1 :: PrelGHC.Floatzh -> (PrelBase.Int, PrelBase.Float) {-## __A
1 __S P ##-} ;
1 zdwzdsproperFraction2 :: PrelGHC.Doublezh -> (PrelBase.Integer, PrelBase.Double)
{-## __A 1 __S P ##-} ;
1 zdwzdsproperFraction3 :: PrelGHC.Doublezh -> (PrelBase.Int, PrelBase.Double) {-##
__A 1 __S P ##-} ;
1 zdwzdsrealToFrac :: PrelGHC.Floatzh -> PrelNum.Ratio PrelBase.Integer {-## __A 1 __S
P ##-} ;
1 zdwzdsrealToFrac1 :: PrelGHC.Doublezh -> PrelNum.Ratio PrelBase.Integer {-## __A 1
__S P ##-} ;
1 zdwzdsround :: PrelGHC.Floatzh -> PrelBase.Integer {-## __A 1 __S P ##-} ;
1 zdwzdsround1 :: PrelGHC.Floatzh -> PrelBase.Int {-## __A 1 __S P ##-} ;
1 zdwzdsround2 :: PrelGHC.Doublezh -> PrelBase.Integer {-## __A 1 __S P ##-} ;
1 zdwzdsround3 :: PrelGHC.Doublezh -> PrelBase.Int {-## __A 1 __S P ##-} ;
1 zdwzdsshowSigned :: (PrelBase.Float -> PrelShow.ShowS) -> PrelBase.Int ->
PrelGHC.Floatzh -> [PrelBase.Char] -> [PrelBase.Char] {-## __A 3 __C __S LLP __U (\
showPos :: (PrelBase.Float -> PrelShow.ShowS) p :: PrelBase.Int ww :: PrelGHC.Floatzh
-> case PrelGHC.ltFloatzh {ww __float 0.0} of wild { PrelBase.True -> case p of wild1
{ PrelBase.Izh x1 -> let { s :: PrelShow.ShowS = let { tpl16 :: PrelGHC.Floatzh =
PrelGHC.negateFloatzh {ww} } in showPos (PrelBase.Fzh {tpl16}) } in case PrelGHC.zgzh
{x1 6} of wild2 { PrelBase.True -> \ x :: [PrelBase.Char] -> let { tpl16 ::
[PrelBase.Char] = s (PrelBase.ZC {@ PrelBase.Char PrelShow.s23 x}) } in let { tpl17
:: [PrelBase.Char] = PrelBase.ZC {@ PrelBase.Char tpl15 tpl16} } in PrelBase.ZC {@
PrelBase.Char PrelShow.s22 tpl17}; PrelBase.False -> \ s1 :: [PrelBase.Char] -> let {
tpl16 :: [PrelBase.Char] = s s1 } in PrelBase.ZC {@ PrelBase.Char tpl14 tpl16} } };
PrelBase.False -> showPos (PrelBase.Fzh {ww}) }) ##-} ;
1 zdwzdsshowSigned1 :: (PrelBase.Double -> PrelShow.ShowS) -> PrelBase.Int ->
PrelGHC.Doublezh -> [PrelBase.Char] -> [PrelBase.Char] {-## __A 3 __C __S LLP __U (\
showPos :: (PrelBase.Double -> PrelShow.ShowS) p :: PrelBase.Int ww ::
PrelGHC.Doublezh -> case PrelGHC.zlzhzh {ww 0.0} of wild { PrelBase.True -> case p of
wild1 { PrelBase.Izh x1 -> let { s :: PrelShow.ShowS = let { tpl16 :: PrelGHC.Doublezh
= PrelGHC.negateDoublezh {ww} } in showPos (PrelBase.Dzh {tpl16}) } in case
PrelGHC.zgzh {x1 6} of wild2 { PrelBase.True -> \ x :: [PrelBase.Char] -> let { tpl16
:: [PrelBase.Char] = s (PrelBase.ZC {@ PrelBase.Char PrelShow.s23 x}) } in let {
tpl17 :: [PrelBase.Char] = PrelBase.ZC {@ PrelBase.Char tpl13 tpl16} } in PrelBase.ZC
{@ PrelBase.Char PrelShow.s22 tpl17}; PrelBase.False -> \ s1 :: [PrelBase.Char] -> let
{ tpl16 :: [PrelBase.Char] = s s1 } in PrelBase.ZC {@ PrelBase.Char tpl12 tpl16} }
}; PrelBase.False -> showPos (PrelBase.Dzh {ww}) }) ##-} ;
1 zeze :: PrelNum.Ratio PrelBase.Integer -> PrelNum.Ratio PrelBase.Integer ->
PrelBase.Bool {-## __A 0 __U (case zddEq of tpl34 { PrelBase.ZCDEq tpl35 tpl36 ->
tpl35 }) ##-} ;
{-## __R "SPEC properFraction" __forall {zddIntegral :: {PrelNum.Integral
PrelBase.Integer}} properFraction1 @ PrelBase.Integer zddIntegral = zdsproperFraction2
; "SPEC properFraction" __forall {zddIntegral :: {PrelNum.Integral PrelBase.Int}}
properFraction1 @ PrelBase.Int zddIntegral = zdsproperFraction3 ; "SPEC truncate"
__forall {zddIntegral :: {PrelNum.Integral PrelBase.Integer}} truncate1 @
PrelBase.Integer zddIntegral = zdstruncate2 ; "SPEC truncate" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Int}} truncate1 @ PrelBase.Int zddIntegral = zdstruncate3 ;
"SPEC round" __forall {zddIntegral :: {PrelNum.Integral PrelBase.Integer}} round2 @
PrelBase.Integer zddIntegral = zdsround2 ; "SPEC round" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Int}} round2 @ PrelBase.Int zddIntegral = zdsround3 ; "SPEC
ceiling" __forall {zddIntegral :: {PrelNum.Integral PrelBase.Integer}} ceiling1 @
PrelBase.Integer zddIntegral = zdsceiling2 ; "SPEC ceiling" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Int}} ceiling1 @ PrelBase.Int zddIntegral = zdsceiling3 ;
"SPEC floor" __forall {zddIntegral :: {PrelNum.Integral PrelBase.Integer}} floor1 @
PrelBase.Integer zddIntegral = zdsfloor2 ; "SPEC floor" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Int}} floor1 @ PrelBase.Int zddIntegral = zdsfloor3 ; "SPEC
properFraction" __forall {zddIntegral :: {PrelNum.Integral PrelBase.Integer}}
properFraction @ PrelBase.Integer zddIntegral = zdsproperFraction ; "SPEC
properFraction" __forall {zddIntegral :: {PrelNum.Integral PrelBase.Int}}
properFraction @ PrelBase.Int zddIntegral = zdsproperFraction1 ; "SPEC truncate"
__forall {zddIntegral :: {PrelNum.Integral PrelBase.Integer}} truncate @
PrelBase.Integer zddIntegral = zdstruncate ; "SPEC truncate" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Int}} truncate @ PrelBase.Int zddIntegral = zdstruncate1 ;
"SPEC round" __forall {zddIntegral :: {PrelNum.Integral PrelBase.Integer}} round1 @
PrelBase.Integer zddIntegral = zdsround ; "SPEC round" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Int}} round1 @ PrelBase.Int zddIntegral = zdsround1 ; "SPEC
ceiling" __forall {zddIntegral :: {PrelNum.Integral PrelBase.Integer}} ceiling @
PrelBase.Integer zddIntegral = zdsceiling ; "SPEC ceiling" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Int}} ceiling @ PrelBase.Int zddIntegral = zdsceiling1 ;
"SPEC floor" __forall {zddIntegral :: {PrelNum.Integral PrelBase.Integer}} floor @
PrelBase.Integer zddIntegral = zdsfloor ; "SPEC floor" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Int}} floor @ PrelBase.Int zddIntegral = zdsfloor1 ; "SPEC
formatRealFloat" __forall {zddRealFloat :: {PrelNum.RealFloat PrelBase.Float}}
formatRealFloat @ PrelBase.Float zddRealFloat = zdsformatRealFloat ; "SPEC showSigned"
__forall {zddReal :: {PrelNum.Real PrelBase.Float}} showSigned @ PrelBase.Float
zddReal = zdsshowSigned1 ; "SPEC showSigned" __forall {zddReal :: {PrelNum.Real
PrelBase.Double}} showSigned @ PrelBase.Double zddReal = zdsshowSigned ; "SPEC
fromRat'" __forall {zddRealFloat :: {PrelNum.RealFloat PrelBase.Float}} fromRatzq @
PrelBase.Float zddRealFloat = zdsfromRatzq ; "SPEC fromRat'" __forall {zddRealFloat ::
{PrelNum.RealFloat PrelBase.Double}} fromRatzq @ PrelBase.Double zddRealFloat =
zdsfromRatzq1 ; "SPEC fromRat" __forall {zddRealFloat :: {PrelNum.RealFloat
PrelBase.Float}} fromRat @ PrelBase.Float zddRealFloat = zdsfromRat ; "SPEC fromRat"
__forall {zddRealFloat :: {PrelNum.RealFloat PrelBase.Double}} fromRat @
PrelBase.Double zddRealFloat = zdsfromRat1 ; "SPEC numericEnumFromThenTo" __forall
{zddOrd :: {PrelBase.Ord PrelBase.Float} zddFractional :: {PrelNum.Fractional
PrelBase.Float}} numericEnumFromThenTo @ PrelBase.Float zddOrd zddFractional =
zdsnumericEnumFromThenTo ; "SPEC numericEnumFromThenTo" __forall {zddOrd ::
{PrelBase.Ord PrelBase.Double} zddFractional :: {PrelNum.Fractional PrelBase.Double}}
numericEnumFromThenTo @ PrelBase.Double zddOrd zddFractional =
zdsnumericEnumFromThenTo1 ; "SPEC numericEnumFromTo" __forall {zddOrd :: {PrelBase.Ord
PrelBase.Float} zddFractional :: {PrelNum.Fractional PrelBase.Float}}
numericEnumFromTo @ PrelBase.Float zddOrd zddFractional = zdsnumericEnumFromTo1 ;
"SPEC numericEnumFromTo" __forall {zddOrd :: {PrelBase.Ord PrelBase.Double}
zddFractional :: {PrelNum.Fractional PrelBase.Double}} numericEnumFromTo @
PrelBase.Double zddOrd zddFractional = zdsnumericEnumFromTo ; "SPEC
numericEnumFromThen" __forall {zddFractional :: {PrelNum.Fractional PrelBase.Float}}
numericEnumFromThen @ PrelBase.Float zddFractional = zdsnumericEnumFromThen ; "SPEC
numericEnumFromThen" __forall {zddFractional :: {PrelNum.Fractional PrelBase.Double}}
numericEnumFromThen @ PrelBase.Double zddFractional = zdsnumericEnumFromThen1 ; "SPEC
numericEnumFrom" __forall {zddFractional :: {PrelNum.Fractional PrelBase.Float}}
numericEnumFrom @ PrelBase.Float zddFractional = zdsnumericEnumFrom1 ; "SPEC
numericEnumFrom" __forall {zddFractional :: {PrelNum.Fractional PrelBase.Double}}
numericEnumFrom @ PrelBase.Double zddFractional = zdsnumericEnumFrom ; "SPEC
realToFrac" __forall {zddReal :: {PrelNum.Real (PrelNum.Ratio PrelBase.Integer)}
zddFractional :: {PrelNum.Fractional (PrelNum.Ratio PrelBase.Integer)}} realToFrac @
(PrelNum.Ratio PrelBase.Integer) @ (PrelNum.Ratio PrelBase.Integer) zddReal
zddFractional = zdsrealToFrac ; "SPEC realToFrac" __forall {zddReal :: {PrelNum.Real
(PrelNum.Ratio PrelBase.Integer)} zddFractional :: {PrelNum.Fractional
PrelBase.Float}} realToFrac @ (PrelNum.Ratio PrelBase.Integer) @ PrelBase.Float
zddReal zddFractional = zdsrealToFrac3 ; "SPEC realToFrac" __forall {zddReal ::
{PrelNum.Real (PrelNum.Ratio PrelBase.Integer)} zddFractional :: {PrelNum.Fractional
PrelBase.Double}} realToFrac @ (PrelNum.Ratio PrelBase.Integer) @ PrelBase.Double
zddReal zddFractional = zdsrealToFrac6 ; "SPEC realToFrac" __forall {zddReal ::
{PrelNum.Real PrelBase.Float} zddFractional :: {PrelNum.Fractional (PrelNum.Ratio
PrelBase.Integer)}} realToFrac @ PrelBase.Float @ (PrelNum.Ratio PrelBase.Integer)
zddReal zddFractional = zdsrealToFrac1 ; "SPEC realToFrac" __forall {zddReal ::
{PrelNum.Real PrelBase.Float} zddFractional :: {PrelNum.Fractional PrelBase.Float}}
realToFrac @ PrelBase.Float @ PrelBase.Float zddReal zddFractional = zdsrealToFrac4 ;
"SPEC realToFrac" __forall {zddReal :: {PrelNum.Real PrelBase.Float} zddFractional ::
{PrelNum.Fractional PrelBase.Double}} realToFrac @ PrelBase.Float @ PrelBase.Double
zddReal zddFractional = zdsrealToFrac7 ; "SPEC realToFrac" __forall {zddReal ::
{PrelNum.Real PrelBase.Double} zddFractional :: {PrelNum.Fractional (PrelNum.Ratio
PrelBase.Integer)}} realToFrac @ PrelBase.Double @ (PrelNum.Ratio PrelBase.Integer)
zddReal zddFractional = zdsrealToFrac2 ; "SPEC realToFrac" __forall {zddReal ::
{PrelNum.Real PrelBase.Double} zddFractional :: {PrelNum.Fractional PrelBase.Float}}
realToFrac @ PrelBase.Double @ PrelBase.Float zddReal zddFractional = zdsrealToFrac5 ;
"SPEC realToFrac" __forall {zddReal :: {PrelNum.Real PrelBase.Double} zddFractional ::
{PrelNum.Fractional PrelBase.Double}} realToFrac @ PrelBase.Double @ PrelBase.Double
zddReal zddFractional = zdsrealToFrac8 ; "SPEC fromIntegral" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Integer} zddNum :: {PrelNum.Num (PrelNum.Ratio
PrelBase.Integer)}} fromIntegral @ PrelBase.Integer @ (PrelNum.Ratio PrelBase.Integer)
zddIntegral zddNum = zdsfromIntegral9 ; "SPEC fromIntegral" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Integer} zddNum :: {PrelNum.Num PrelBase.Integer}}
fromIntegral @ PrelBase.Integer @ PrelBase.Integer zddIntegral zddNum =
zdsfromIntegral8 ; "SPEC fromIntegral" __forall {zddIntegral :: {PrelNum.Integral
PrelBase.Integer} zddNum :: {PrelNum.Num PrelBase.Int}} fromIntegral @
PrelBase.Integer @ PrelBase.Int zddIntegral zddNum = zdsfromIntegral7 ; "SPEC
fromIntegral" __forall {zddIntegral :: {PrelNum.Integral PrelBase.Integer} zddNum ::
{PrelNum.Num PrelBase.Float}} fromIntegral @ PrelBase.Integer @ PrelBase.Float
zddIntegral zddNum = zdsfromIntegral6 ; "SPEC fromIntegral" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Integer} zddNum :: {PrelNum.Num PrelBase.Double}}
fromIntegral @ PrelBase.Integer @ PrelBase.Double zddIntegral zddNum =
zdsfromIntegral5 ; "SPEC fromIntegral" __forall {zddIntegral :: {PrelNum.Integral
PrelBase.Int} zddNum :: {PrelNum.Num (PrelNum.Ratio PrelBase.Integer)}} fromIntegral @
PrelBase.Int @ (PrelNum.Ratio PrelBase.Integer) zddIntegral zddNum = zdsfromIntegral4
; "SPEC fromIntegral" __forall {zddIntegral :: {PrelNum.Integral PrelBase.Int} zddNum
:: {PrelNum.Num PrelBase.Integer}} fromIntegral @ PrelBase.Int @ PrelBase.Integer
zddIntegral zddNum = zdsfromIntegral3 ; "SPEC fromIntegral" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Int} zddNum :: {PrelNum.Num PrelBase.Int}} fromIntegral @
PrelBase.Int @ PrelBase.Int zddIntegral zddNum = zdsfromIntegral2 ; "SPEC
fromIntegral" __forall {zddIntegral :: {PrelNum.Integral PrelBase.Int} zddNum ::
{PrelNum.Num PrelBase.Float}} fromIntegral @ PrelBase.Int @ PrelBase.Float zddIntegral
zddNum = zdsfromIntegral1 ; "SPEC fromIntegral" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Int} zddNum :: {PrelNum.Num PrelBase.Double}} fromIntegral
@ PrelBase.Int @ PrelBase.Double zddIntegral zddNum = zdsfromIntegral ; "SPEC
$fNumRatio" __forall {zddIntegral :: {PrelNum.Integral PrelBase.Integer} zddEq1 ::
{PrelBase.Eq (PrelNum.Ratio PrelBase.Integer)} zddShow :: {PrelShow.Show
(PrelNum.Ratio PrelBase.Integer)}} zdfNumRatio @ PrelBase.Integer zddIntegral zddEq1
zddShow = zdszdfNumRatio ; "SPEC $fFractionalRatio" __forall {zddIntegral ::
{PrelNum.Integral PrelBase.Integer} zddNum :: {PrelNum.Num (PrelNum.Ratio
PrelBase.Integer)}} zdfFractionalRatio @ PrelBase.Integer zddIntegral zddNum =
zdszdfFractionalRatio ; "SPEC $fRealRatio" __forall {zddIntegral :: {PrelNum.Integral
PrelBase.Integer} zddNum :: {PrelNum.Num (PrelNum.Ratio PrelBase.Integer)} zddOrd ::
{PrelBase.Ord (PrelNum.Ratio PrelBase.Integer)}} zdfRealRatio @ PrelBase.Integer
zddIntegral zddNum zddOrd = zdszdfRealRatio ; "SPEC $fShowRatio" __forall {zddIntegral
:: {PrelNum.Integral PrelBase.Integer}} zdfShowRatio @ PrelBase.Integer zddIntegral =
zdszdfShowRatio ; "SPEC $fRealFracRatio" __forall {zddIntegral :: {PrelNum.Integral
PrelBase.Integer} zddReal :: {PrelNum.Real (PrelNum.Ratio PrelBase.Integer)}
zddFractional :: {PrelNum.Fractional (PrelNum.Ratio PrelBase.Integer)}}
zdfRealFracRatio @ PrelBase.Integer zddIntegral zddReal zddFractional =
zdszdfRealFracRatio ; "SPEC $fOrdRatio" __forall {zddIntegral :: {PrelNum.Integral
PrelBase.Integer} zddEq1 :: {PrelBase.Eq (PrelNum.Ratio PrelBase.Integer)}}
zdfOrdRatio @ PrelBase.Integer zddIntegral zddEq1 = zdszdfOrdRatio ; ##-}
