Commits

Patrick Bahr  committed 53d1104

fixed a compilation issue for GHC 7.6

  • Participants
  • Parent commits 88d1a2e

Comments (0)

Files changed (6)

File src/Data/Comp/Annotation.hs

 {-# LANGUAGE TypeOperators, MultiParamTypeClasses, FlexibleInstances,
-  UndecidableInstances, Rank2Types, GADTs, ScopedTypeVariables #-}
+  UndecidableInstances, Rank2Types, GADTs, ScopedTypeVariables, FlexibleContexts #-}
 --------------------------------------------------------------------------------
 -- |
 -- Module      :  Data.Comp.Annotation

File src/Data/Comp/Multi/HFoldable.hs

-{-# LANGUAGE Rank2Types, TypeOperators, FlexibleInstances, ScopedTypeVariables, GADTs, MultiParamTypeClasses, UndecidableInstances, IncoherentInstances #-}
+{-# LANGUAGE RankNTypes, TypeOperators, FlexibleInstances, ScopedTypeVariables, GADTs, MultiParamTypeClasses, UndecidableInstances, IncoherentInstances #-}
 
 --------------------------------------------------------------------------------
 -- |

File src/Data/Comp/Multi/Ops.hs

 {-# LANGUAGE TypeOperators, MultiParamTypeClasses, IncoherentInstances,
              FlexibleInstances, FlexibleContexts, GADTs, TypeSynonymInstances,
-             ScopedTypeVariables, FunctionalDependencies, UndecidableInstances, KindSignatures #-}
+             ScopedTypeVariables, FunctionalDependencies, UndecidableInstances, KindSignatures, RankNTypes{-|
+  
+-} #-}
 
 --------------------------------------------------------------------------------
 -- |

File src/Data/Comp/Multi/Term.hs

-{-# LANGUAGE EmptyDataDecls, GADTs, KindSignatures, Rank2Types,
+{-# LANGUAGE EmptyDataDecls, GADTs, KindSignatures, RankNTypes,
   TypeOperators, ScopedTypeVariables, IncoherentInstances #-}
 --------------------------------------------------------------------------------
 -- |

File src/Data/Comp/Multi/Variables.hs

 {-# LANGUAGE MultiParamTypeClasses, GADTs, FlexibleInstances,
-  OverlappingInstances, TypeOperators, KindSignatures, FlexibleContexts, ScopedTypeVariables, Rank2Types, TemplateHaskell #-}
+  OverlappingInstances, TypeOperators, KindSignatures, FlexibleContexts, ScopedTypeVariables, RankNTypes, TemplateHaskell #-}
 --------------------------------------------------------------------------------
 -- |
 -- Module      :  Data.Comp.Multi.Variables

File src/Data/Comp/MultiParam/Ops.hs

 {-# LANGUAGE TypeOperators, MultiParamTypeClasses, FunctionalDependencies,
   FlexibleInstances, UndecidableInstances, IncoherentInstances,
-  KindSignatures #-}
+  KindSignatures, RankNTypes #-}
 --------------------------------------------------------------------------------
 -- |
 -- Module      :  Data.Comp.MultiParam.Ops
 ffst :: (f :*: g) a b -> f a b
 ffst (x :*: _) = x
 
-fsnd :: (f :*: g) a b -> g a b
+fsnd :: (f :*: g) a b -> g a b 
 fsnd (_ :*: x) = x