diff options
| author | Twan van Laarhoven <twanvl@gmail.com> | 2008-01-26 22:28:17 +0000 |
|---|---|---|
| committer | Twan van Laarhoven <twanvl@gmail.com> | 2008-01-26 22:28:17 +0000 |
| commit | 22b2f4084ffa3d797ac112e9f755670d7ad27469 (patch) | |
| tree | 5fe4ad243553ce7f7834a6bfecdfcb332a588820 /compiler | |
| parent | 61a00ea28c26af3763782dea7f93c3b1f778de7d (diff) | |
| download | haskell-22b2f4084ffa3d797ac112e9f755670d7ad27469.tar.gz | |
Fixed warnings in types/Generics
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/types/Generics.lhs | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/compiler/types/Generics.lhs b/compiler/types/Generics.lhs index 37d9d4a5da..7685a9d90e 100644 --- a/compiler/types/Generics.lhs +++ b/compiler/types/Generics.lhs @@ -3,7 +3,7 @@ % \begin{code} -{-# OPTIONS -w #-} +{-# OPTIONS -fno-warn-incomplete-patterns #-} -- The above warning supression flag is a temporary kludge. -- While working on this module you are encouraged to remove it and fix -- any warnings in the module. See @@ -392,6 +392,7 @@ splitInHalf list = (left, right) mkGenericLocal :: US -> RdrName mkGenericLocal u = mkVarUnqual (mkFastString ("g" ++ show u)) +mkGenericNames :: TyCon -> (RdrName, RdrName) mkGenericNames tycon = (from_RDR, to_RDR) where @@ -532,6 +533,7 @@ bimapTyCon tycon arg_eps ------------------- -- bimapArrow :: [EP a a', EP b b'] -> EP (a->b) (a'->b') +bimapArrow :: [EP (LHsExpr RdrName)] -> EP (LHsExpr RdrName) bimapArrow [ep1, ep2] = EP { fromEP = mkHsLam [nlVarPat a_RDR, nlVarPat b_RDR] from_body, toEP = mkHsLam [nlVarPat a_RDR, nlVarPat b_RDR] to_body } @@ -541,6 +543,7 @@ bimapArrow [ep1, ep2] ------------------- -- bimapTuple :: [EP a1 b1, ... EP an bn] -> EP (a1,...an) (b1,..bn) +bimapTuple :: [EP (LHsExpr RdrName)] -> EP (LHsExpr RdrName) bimapTuple eps = EP { fromEP = mkHsLam [noLoc tuple_pat] (noLoc from_body), toEP = mkHsLam [noLoc tuple_pat] (noLoc to_body) } @@ -553,13 +556,17 @@ bimapTuple eps ------------------- -- bimapList :: EP a b -> EP [a] [b] +bimapList :: [EP (LHsExpr RdrName)] -> EP (LHsExpr RdrName) bimapList [ep] = EP { fromEP = nlHsApp (nlHsVar map_RDR) (fromEP ep), toEP = nlHsApp (nlHsVar map_RDR) (toEP ep) } ------------------- +a_RDR, b_RDR :: RdrName a_RDR = mkVarUnqual FSLIT("a") b_RDR = mkVarUnqual FSLIT("b") + +gs_RDR :: [RdrName] gs_RDR = [ mkVarUnqual (mkFastString ("g"++show i)) | i <- [(1::Int) .. ] ] idEP :: EP (LHsExpr RdrName) |