switch to LANGUAGE pragma for UndecidableInstances
authorRoss Paterson <ross@soi.city.ac.uk>
Fri, 3 Sep 2010 11:40:43 +0000 (11:40 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Fri, 3 Sep 2010 11:40:43 +0000 (11:40 +0000)
15 files changed:
Control/Monad/Cont.hs
Control/Monad/Cont/Class.hs
Control/Monad/Error.hs
Control/Monad/Error/Class.hs
Control/Monad/List.hs
Control/Monad/RWS/Lazy.hs
Control/Monad/RWS/Strict.hs
Control/Monad/Reader.hs
Control/Monad/Reader/Class.hs
Control/Monad/State/Lazy.hs
Control/Monad/State/Strict.hs
Control/Monad/Writer.hs
Control/Monad/Writer/Class.hs
Control/Monad/Writer/Lazy.hs
Control/Monad/Writer/Strict.hs

index 5937867..9ce0521 100644 (file)
@@ -1,5 +1,5 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
--- Search for -fallow-undecidable-instances to see why this is needed
+{-# LANGUAGE UndecidableInstances #-}
+-- Search for UndecidableInstances to see why this is needed
 
 {- |
 Module      :  Control.Monad.Cont
@@ -146,14 +146,14 @@ instance MonadTrans (ContT r) where
 instance (MonadIO m) => MonadIO (ContT r m) where
     liftIO = lift . liftIO
 
--- Needs -fallow-undecidable-instances
+-- Needs UndecidableInstances
 instance (MonadReader r' m) => MonadReader r' (ContT r m) where
     ask       = lift ask
     local f m = ContT $ \c -> do
         r <- ask
         local f (runContT m (local (const r) . c))
 
--- Needs -fallow-undecidable-instances
+-- Needs UndecidableInstances
 instance (MonadState s m) => MonadState s (ContT r m) where
     get = lift get
     put = lift . put
index 2882685..5e0b737 100644 (file)
@@ -1,5 +1,5 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
--- Search for -fallow-undecidable-instances to see why this is needed
+{-# LANGUAGE UndecidableInstances #-}
+-- Search for UndecidableInstances to see why this is needed
 
 {- |
 Module      :  Control.Monad.Cont.Class
index 0190adb..0a4dab0 100644 (file)
@@ -1,5 +1,5 @@
 -- Undecidable instances needed for the same reasons as in Reader, State etc:
-{-# OPTIONS_GHC -fallow-undecidable-instances #-}
+{-# LANGUAGE UndecidableInstances #-}
 -- De-orphaning this module is tricky:
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 -- To handle instances moved to base:
index dcd71d2..6646dcb 100644 (file)
@@ -1,4 +1,4 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
+{-# LANGUAGE UndecidableInstances #-}
 -- Needed for the same reasons as in Reader, State etc
 
 {- |
index ac7c8cb..4604113 100644 (file)
@@ -1,4 +1,4 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
+{-# LANGUAGE UndecidableInstances #-}
 -- Needed for the same reasons as in Reader, State etc
 
 -----------------------------------------------------------------------------
index 08031ba..9cf26d5 100644 (file)
@@ -1,4 +1,4 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
+{-# LANGUAGE UndecidableInstances #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.RWS.Lazy
index b413fbb..204fe2b 100644 (file)
@@ -1,4 +1,4 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
+{-# LANGUAGE UndecidableInstances #-}
 -----------------------------------------------------------------------------
 -- |
 -- Module      :  Control.Monad.RWS.Strict
index 43a8f83..a6c0d3d 100644 (file)
@@ -1,4 +1,4 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
+{-# LANGUAGE UndecidableInstances #-}
 {- |
 Module      :  Control.Monad.Reader
 Copyright   :  (c) Andy Gill 2001,
@@ -167,12 +167,12 @@ instance (MonadError e m) => MonadError e (ReaderT r m) where
     m `catchError` h = ReaderT $ \r -> runReaderT m r
         `catchError` \e -> runReaderT (h e) r
 
--- Needs -fallow-undecidable-instances
+-- Needs UndecidableInstances
 instance (MonadState s m) => MonadState s (ReaderT r m) where
     get = lift get
     put = lift . put
 
--- This instance needs -fallow-undecidable-instances, because
+-- This instance needs UndecidableInstances, because
 -- it does not satisfy the coverage condition
 instance (MonadWriter w m) => MonadWriter w (ReaderT r m) where
     tell     = lift . tell
index a8466c2..c0a9bd4 100644 (file)
@@ -1,4 +1,4 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
+{-# LANGUAGE UndecidableInstances #-}
 {- |
 Module      :  Control.Monad.Reader.Class
 Copyright   :  (c) Andy Gill 2001,
index 734f4be..435ad42 100644 (file)
@@ -1,5 +1,5 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
--- Search for -fallow-undecidable-instances to see why this is needed
+{-# LANGUAGE UndecidableInstances #-}
+-- Search for UndecidableInstances to see why this is needed
 
 -----------------------------------------------------------------------------
 -- |
@@ -210,12 +210,12 @@ instance (MonadError e m) => MonadError e (StateT s m) where
     m `catchError` h = StateT $ \s -> runStateT m s
         `catchError` \e -> runStateT (h e) s
 
--- Needs -fallow-undecidable-instances
+-- Needs UndecidableInstances
 instance (MonadReader r m) => MonadReader r (StateT s m) where
     ask       = lift ask
     local f m = StateT $ \s -> local f (runStateT m s)
 
--- Needs -fallow-undecidable-instances
+-- Needs UndecidableInstances
 instance (MonadWriter w m) => MonadWriter w (StateT s m) where
     tell     = lift . tell
     listen m = StateT $ \s -> do
index 4ae6c6d..0e3258f 100644 (file)
@@ -1,5 +1,5 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
--- Search for -fallow-undecidable-instances to see why this is needed
+{-# LANGUAGE UndecidableInstances #-}
+-- Search for UndecidableInstances to see why this is needed
 
 -----------------------------------------------------------------------------
 -- |
@@ -209,12 +209,12 @@ instance (MonadError e m) => MonadError e (StateT s m) where
     m `catchError` h = StateT $ \s -> runStateT m s
         `catchError` \e -> runStateT (h e) s
 
--- Needs -fallow-undecidable-instances
+-- Needs UndecidableInstances
 instance (MonadReader r m) => MonadReader r (StateT s m) where
     ask       = lift ask
     local f m = StateT $ \s -> local f (runStateT m s)
 
--- Needs -fallow-undecidable-instances
+-- Needs UndecidableInstances
 instance (MonadWriter w m) => MonadWriter w (StateT s m) where
     tell     = lift . tell
     listen m = StateT $ \s -> do
index 81318bc..2f41185 100644 (file)
@@ -1,5 +1,5 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
--- Search for -fallow-undecidable-instances to see why this is needed
+{-# LANGUAGE UndecidableInstances #-}
+-- Search for UndecidableInstances to see why this is needed
 
 -----------------------------------------------------------------------------
 -- |
index 278aa37..184ffa8 100644 (file)
@@ -1,5 +1,5 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
--- Search for -fallow-undecidable-instances to see why this is needed
+{-# LANGUAGE UndecidableInstances #-}
+-- Search for UndecidableInstances to see why this is needed
 
 -----------------------------------------------------------------------------
 -- |
index 9206f7b..7fd7fd3 100644 (file)
@@ -1,5 +1,5 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
--- Search for -fallow-undecidable-instances to see why this is needed
+{-# LANGUAGE UndecidableInstances #-}
+-- Search for UndecidableInstances to see why this is needed
 
 -----------------------------------------------------------------------------
 -- |
@@ -137,13 +137,13 @@ instance (Monoid w, MonadError e m) => MonadError e (WriterT w m) where
     m `catchError` h = WriterT $ runWriterT m
         `catchError` \e -> runWriterT (h e)
 
--- This instance needs -fallow-undecidable-instances, because
+-- This instance needs UndecidableInstances, because
 -- it does not satisfy the coverage condition
 instance (Monoid w, MonadReader r m) => MonadReader r (WriterT w m) where
     ask       = lift ask
     local f m = WriterT $ local f (runWriterT m)
 
--- Needs -fallow-undecidable-instances
+-- Needs UndecidableInstances
 instance (Monoid w, MonadState s m) => MonadState s (WriterT w m) where
     get = lift get
     put = lift . put
index 3ab100c..6e7ac0d 100644 (file)
@@ -1,5 +1,5 @@
-{-# OPTIONS -fallow-undecidable-instances #-}
--- Search for -fallow-undecidable-instances to see why this is needed
+{-# LANGUAGE UndecidableInstances #-}
+-- Search for UndecidableInstances to see why this is needed
 
 -----------------------------------------------------------------------------
 -- |
@@ -139,13 +139,13 @@ instance (Monoid w, MonadError e m) => MonadError e (WriterT w m) where
     m `catchError` h = WriterT $ runWriterT m
         `catchError` \e -> runWriterT (h e)
 
--- This instance needs -fallow-undecidable-instances, because
+-- This instance needs UndecidableInstances, because
 -- it does not satisfy the coverage condition
 instance (Monoid w, MonadReader r m) => MonadReader r (WriterT w m) where
     ask       = lift ask
     local f m = WriterT $ local f (runWriterT m)
 
--- Needs -fallow-undecidable-instances
+-- Needs UndecidableInstances
 instance (Monoid w, MonadState s m) => MonadState s (WriterT w m) where
     get = lift get
     put = lift . put