X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Futils%2FMaybes.hi;fp=ghc%2Fcompiler%2Futils%2FMaybes.hi;h=0000000000000000000000000000000000000000;hb=6c381e873e222417d9a67aeec77b9555eca7b7a8;hp=0a96c2b91aa1d49fc7545f1656cab9760ae3a1d4;hpb=8147a9f0bcc48ef0db1e91f8b985a4f5c3fed560;p=ghc-hetmet.git

diff --git a/ghc/compiler/utils/Maybes.hi b/ghc/compiler/utils/Maybes.hi
deleted file mode 100644
index 0a96c2b..0000000
--- a/ghc/compiler/utils/Maybes.hi
+++ /dev/null
@@ -1,18 +0,0 @@
-{-# GHC_PRAGMA INTERFACE VERSION 5 #-}
-interface Maybes where
-data Labda a   = Hamna | Ni a
-data MaybeErr a b   = Succeeded a | Failed b
-allMaybes :: [Labda a] -> Labda [a]
-assocMaybe :: Eq a => [(a, b)] -> a -> Labda b
-catMaybes :: [Labda a] -> [a]
-failMaB :: b -> MaybeErr a b
-failMaybe :: Labda a
-firstJust :: [Labda a] -> Labda a
-mapMaybe :: (a -> Labda b) -> [a] -> Labda [b]
-maybeToBool :: Labda a -> Bool
-mkLookupFun :: (a -> a -> Bool) -> [(a, b)] -> a -> Labda b
-returnMaB :: a -> MaybeErr a b
-returnMaybe :: a -> Labda a
-thenMaB :: MaybeErr a c -> (a -> MaybeErr b c) -> MaybeErr b c
-thenMaybe :: Labda a -> (a -> Labda b) -> Labda b
-