X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Flib%2Fghc%2FBag_mr.hi;fp=ghc%2Flib%2Fghc%2FBag_mr.hi;h=0000000000000000000000000000000000000000;hb=4860241b9fe5daa328fbfabfa87c4af84ac49b65;hp=ba2a1ec1903a4a3b3a9a7573adf0ec0751bc0e5d;hpb=c6c43e43be1f913cd90cb7cb5bb87e90e6552691;p=ghc-hetmet.git diff --git a/ghc/lib/ghc/Bag_mr.hi b/ghc/lib/ghc/Bag_mr.hi deleted file mode 100644 index ba2a1ec..0000000 --- a/ghc/lib/ghc/Bag_mr.hi +++ /dev/null @@ -1,26 +0,0 @@ -{-# GHC_PRAGMA INTERFACE VERSION 5 #-} -interface Bag where -data Bag a {-# GHC_PRAGMA EmptyBag | UnitBag a | TwoBags (Bag a) (Bag a) | ListOfBags [Bag a] #-} -bagToList :: Bag a -> [a] - {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-} -elemBag :: Eq a => a -> Bag a -> Bool - {-# GHC_PRAGMA _A_ 1 _U_ 121 _N_ _N_ _N_ _N_ #-} -emptyBag :: Bag a - {-# GHC_PRAGMA _A_ 0 _N_ _N_ _N_ _F_ _IF_ARGS_ 1 0 X 1 _/\_ u0 -> _!_ _ORIG_ Bag EmptyBag [u0] [] _N_ #-} -filterBag :: (a -> Bool) -> Bag a -> Bag a - {-# GHC_PRAGMA _A_ 2 _U_ 21 _N_ _S_ "LS" _N_ _N_ #-} -isEmptyBag :: Bag a -> Bool - {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-} -listToBag :: [a] -> Bag a - {-# GHC_PRAGMA _A_ 1 _U_ 1 _N_ _S_ "S" _N_ _N_ #-} -partitionBag :: (a -> Bool) -> Bag a -> (Bag a, Bag a) - {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _S_ "LS" _N_ _N_ #-} -snocBag :: Bag a -> a -> Bag a - {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _S_ "SL" _N_ _N_ #-} -unionBags :: Bag a -> Bag a -> Bag a - {-# GHC_PRAGMA _A_ 2 _U_ 22 _N_ _S_ "SS" _F_ _IF_ARGS_ 1 2 CC 13 _/\_ u0 -> \ (u1 :: Bag u0) (u2 :: Bag u0) -> case u1 of { _ALG_ _ORIG_ Bag EmptyBag -> u2; (u3 :: Bag u0) -> case u2 of { _ALG_ _ORIG_ Bag EmptyBag -> u3; (u4 :: Bag u0) -> _!_ _ORIG_ Bag TwoBags [u0] [u1, u2] } } _N_ #-} -unionManyBags :: [Bag a] -> Bag a - {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _S_ "S" _F_ _IF_ARGS_ 1 1 C 5 _/\_ u0 -> \ (u1 :: [Bag u0]) -> case u1 of { _ALG_ (:) (u2 :: Bag u0) (u3 :: [Bag u0]) -> _!_ _ORIG_ Bag ListOfBags [u0] [u1]; _NIL_ -> _!_ _ORIG_ Bag EmptyBag [u0] []; _NO_DEFLT_ } _N_ #-} -unitBag :: a -> Bag a - {-# GHC_PRAGMA _A_ 1 _U_ 2 _N_ _N_ _F_ _IF_ARGS_ 1 1 X 2 _/\_ u0 -> \ (u1 :: u0) -> _!_ _ORIG_ Bag UnitBag [u0] [u1] _N_ #-} -