In the upcoming 5.04 release you'll be able to do exactly that. GHC will use whatever >>= is in scope if you say -fno-implicit-prelude. Simon | -----Original Message----- | From: MR K P SCHUPKE [mailto:k.schupke@ic.ac.uk] | Sent: 09 July 2002 15:03 | To: glasgow-haskell-users@haskell.org | Subject: ghc and -fno-implicit-prelude | | | Can I get ghc to use a local definition of `>>=` and | return... currently | I have: | | {-# OPTIONS -fglasgow-exts -fno-implicit-prelude #-} | module Main(main) where | import qualified Prelude (Monad(..)) | import Prelude hiding (Monad(..)) | | ... Then a definition of Monad using a Premonad for return, | however when | compiling | do notation it produces an error saying it cannot deduce | (PrelBase.Monad p) | | Can I force ghc to use the definition of the Monad class I | have provided | for do notation | (IE Monad derived from Premonad derived from Prelude.Functor) | | Regards, | Keean. | | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-| haskell-users |