X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Flib%2Fprelude%2FIBool_p.hi;h=7bd3eb39a33bf0335db801678aac6fac57d64f61;hb=68a1f0233996ed79824d11d946e9801473f6946c;hp=31c86b35ff94b242323c8c64d27c21052ea8a3de;hpb=ed7464364646a28aaf27d1dbc2ceaf7a9d9ce62f;p=ghc-hetmet.git diff --git a/ghc/lib/prelude/IBool_p.hi b/ghc/lib/prelude/IBool_p.hi index 31c86b3..7bd3eb3 100644 --- a/ghc/lib/prelude/IBool_p.hi +++ b/ghc/lib/prelude/IBool_p.hi @@ -1,33 +1,33 @@ -{-# GHC_PRAGMA INTERFACE VERSION 5 #-} +{-# GHC_PRAGMA INTERFACE VERSION 6 #-} interface PreludeCore where instance Enum Bool {-# GHC_PRAGMA _M_ PreludeCore {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 6 _!_ _TUP_5 [{{Ord Bool}}, (Bool -> [Bool]), (Bool -> Bool -> [Bool]), (Bool -> Bool -> [Bool]), (Bool -> Bool -> Bool -> [Bool])] [_DFUN_ Ord (Bool), _CONSTM_ Enum enumFrom (Bool), _CONSTM_ Enum enumFromThen (Bool), _CONSTM_ Enum enumFromTo (Bool), _CONSTM_ Enum enumFromThenTo (Bool)] _N_ - enumFrom = _A_ 1 _U_ 2 _N_ _S_ "E" _N_ _N_, - enumFromThen = _A_ 2 _U_ 22 _N_ _S_ "EE" _N_ _N_, - enumFromTo = _A_ 2 _U_ 22 _N_ _N_ _N_ _N_, - enumFromThenTo = _A_ 3 _U_ 222 _N_ _N_ _N_ _N_ #-} + enumFrom = { _A_ 1 _U_ 2 _N_ _S_ "E" _N_ _N_ }, + enumFromThen = { _A_ 2 _U_ 22 _N_ _S_ "EE" _N_ _N_ }, + enumFromTo = { _A_ 2 _U_ 22 _N_ _S_ "EL" _N_ _N_ }, + enumFromThenTo = { _A_ 3 _U_ 222 _N_ _S_ "EEL" _N_ _N_ } #-} instance Eq Bool {-# GHC_PRAGMA _M_ PreludeCore {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 3 _!_ _TUP_2 [(Bool -> Bool -> Bool), (Bool -> Bool -> Bool)] [_CONSTM_ Eq (==) (Bool), _CONSTM_ Eq (/=) (Bool)] _N_ - (==) = _A_ 2 _U_ 11 _N_ _S_ "EE" _F_ _IF_ARGS_ 0 2 CC 7 \ (u0 :: Bool) (u1 :: Bool) -> case u0 of { _ALG_ True -> u1; False -> case u1 of { _ALG_ True -> _!_ False [] []; False -> _!_ True [] []; _NO_DEFLT_ }; _NO_DEFLT_ } _N_, - (/=) = _A_ 2 _U_ 11 _N_ _S_ "EE" _F_ _IF_ARGS_ 0 2 CC 7 \ (u0 :: Bool) (u1 :: Bool) -> case u0 of { _ALG_ True -> case u1 of { _ALG_ True -> _!_ False [] []; False -> _!_ True [] []; _NO_DEFLT_ }; False -> u1; _NO_DEFLT_ } _N_ #-} + (==) = { _A_ 2 _U_ 11 _N_ _S_ "EE" _F_ _IF_ARGS_ 0 2 CC 7 \ (u0 :: Bool) (u1 :: Bool) -> case u0 of { _ALG_ True -> u1; False -> case u1 of { _ALG_ True -> _!_ False [] []; False -> _!_ True [] []; _NO_DEFLT_ }; _NO_DEFLT_ } _N_ }, + (/=) = { _A_ 2 _U_ 11 _N_ _S_ "EE" _F_ _IF_ARGS_ 0 2 CC 7 \ (u0 :: Bool) (u1 :: Bool) -> case u0 of { _ALG_ True -> case u1 of { _ALG_ True -> _!_ False [] []; False -> _!_ True [] []; _NO_DEFLT_ }; False -> u1; _NO_DEFLT_ } _N_ } #-} instance Ix Bool {-# GHC_PRAGMA _M_ PreludeCore {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 5 _!_ _TUP_4 [{{Ord Bool}}, ((Bool, Bool) -> [Bool]), ((Bool, Bool) -> Bool -> Int), ((Bool, Bool) -> Bool -> Bool)] [_DFUN_ Ord (Bool), _CONSTM_ Ix range (Bool), _CONSTM_ Ix index (Bool), _CONSTM_ Ix inRange (Bool)] _N_ - range = _A_ 1 _U_ 1 _N_ _S_ "U(EE)" {_A_ 2 _U_ 11 _N_ _N_ _N_ _N_} _N_ _N_, - index = _A_ 2 _U_ 11 _N_ _S_ "U(EA)E" {_A_ 2 _U_ 11 _N_ _N_ _N_ _N_} _N_ _N_, - inRange = _A_ 2 _U_ 12 _N_ _S_ "U(EL)E" {_A_ 3 _U_ 112 _N_ _N_ _N_ _N_} _N_ _N_ #-} + range = { _A_ 1 _U_ 1 _N_ _S_ "U(EE)" {_A_ 2 _U_ 11 _N_ _N_ _N_ _N_} _N_ _N_ }, + index = { _A_ 2 _U_ 11 _N_ _S_ "U(EA)E" {_A_ 2 _U_ 11 _N_ _N_ _N_ _N_} _N_ _N_ }, + inRange = { _A_ 2 _U_ 12 _N_ _S_ "U(EL)E" {_A_ 3 _U_ 112 _N_ _N_ _N_ _N_} _N_ _N_ } #-} instance Ord Bool {-# GHC_PRAGMA _M_ PreludeCore {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 9 _!_ _TUP_8 [{{Eq Bool}}, (Bool -> Bool -> Bool), (Bool -> Bool -> Bool), (Bool -> Bool -> Bool), (Bool -> Bool -> Bool), (Bool -> Bool -> Bool), (Bool -> Bool -> Bool), (Bool -> Bool -> _CMP_TAG)] [_DFUN_ Eq (Bool), _CONSTM_ Ord (<) (Bool), _CONSTM_ Ord (<=) (Bool), _CONSTM_ Ord (>=) (Bool), _CONSTM_ Ord (>) (Bool), _CONSTM_ Ord max (Bool), _CONSTM_ Ord min (Bool), _CONSTM_ Ord _tagCmp (Bool)] _N_ - (<) = _A_ 2 _U_ 11 _N_ _S_ "EE" _N_ _N_, - (<=) = _A_ 2 _U_ 11 _N_ _S_ "EE" _N_ _N_, - (>=) = _A_ 2 _U_ 11 _N_ _S_ "EE" _N_ _N_, - (>) = _A_ 2 _U_ 11 _N_ _S_ "EE" _N_ _N_, - max = _A_ 2 _U_ 22 _N_ _S_ "EE" _N_ _N_, - min = _A_ 2 _U_ 22 _N_ _S_ "EE" _N_ _N_, - _tagCmp = _A_ 2 _U_ 11 _N_ _S_ "EE" _N_ _N_ #-} + (<) = { _A_ 2 _U_ 11 _N_ _S_ "EE" _N_ _N_ }, + (<=) = { _A_ 2 _U_ 11 _N_ _S_ "EE" _N_ _N_ }, + (>=) = { _A_ 2 _U_ 11 _N_ _S_ "EE" _N_ _N_ }, + (>) = { _A_ 2 _U_ 11 _N_ _S_ "EE" _N_ _N_ }, + max = { _A_ 2 _U_ 22 _N_ _S_ "EE" _N_ _N_ }, + min = { _A_ 2 _U_ 22 _N_ _S_ "EE" _N_ _N_ }, + _tagCmp = { _A_ 2 _U_ 11 _N_ _S_ "EE" _N_ _N_ } #-} instance Text Bool {-# GHC_PRAGMA _M_ PreludeCore {-dfun-} _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 0 0 X 5 _!_ _TUP_4 [(Int -> [Char] -> [(Bool, [Char])]), (Int -> Bool -> [Char] -> [Char]), ([Char] -> [([Bool], [Char])]), ([Bool] -> [Char] -> [Char])] [_CONSTM_ Text readsPrec (Bool), _CONSTM_ Text showsPrec (Bool), _CONSTM_ Text readList (Bool), _CONSTM_ Text showList (Bool)] _N_ - readsPrec = _A_ 2 _U_ 02 _N_ _S_ "AL" {_A_ 1 _U_ 2 _N_ _N_ _N_ _N_} _N_ _N_, - showsPrec = _A_ 3 _U_ 012 _N_ _S_ "AEL" {_A_ 2 _U_ 12 _N_ _N_ _N_ _N_} _N_ _N_, - readList = _A_ 0 _U_ 2 _N_ _N_ _N_ _N_, - showList = _A_ 0 _U_ 12 _N_ _N_ _N_ _N_ #-} + readsPrec = { _A_ 2 _U_ 02 _N_ _S_ "AL" {_A_ 1 _U_ 2 _N_ _N_ _N_ _N_} _N_ _N_ }, + showsPrec = { _A_ 3 _U_ 012 _N_ _S_ "AEL" {_A_ 2 _U_ 12 _N_ _N_ _N_ _N_} _N_ _N_ }, + readList = { _A_ 0 _U_ 2 _N_ _N_ _N_ _N_ }, + showList = { _A_ 1 _U_ 12 _N_ _N_ _F_ _IF_ARGS_ 0 1 X 3 \ (u0 :: [Bool]) -> _APP_ _TYAPP_ _ORIG_ PreludeCore _showList { Bool } [ _WRKR_ _CONSTM_ Text showsPrec (Bool), u0 ] _N_ } #-}