summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
authorAustin Seipp <austin@well-typed.com>2014-08-20 03:45:44 -0500
committerAustin Seipp <austin@well-typed.com>2014-08-20 03:47:36 -0500
commit1b551534cbdf7ac32d18cf5c6fb40e5e79892f4b (patch)
treeb03d710ff2394204cb19f7b60e600fa5986a8f05 /compiler
parent1ad35f4c52a9e5727a009531c1241dba4ba389bd (diff)
downloadhaskell-1b551534cbdf7ac32d18cf5c6fb40e5e79892f4b.tar.gz
basicTypes: detabify/dewhitespace NameEnv
Signed-off-by: Austin Seipp <austin@well-typed.com>
Diffstat (limited to 'compiler')
-rw-r--r--compiler/basicTypes/NameEnv.lhs84
1 files changed, 38 insertions, 46 deletions
diff --git a/compiler/basicTypes/NameEnv.lhs b/compiler/basicTypes/NameEnv.lhs
index f39627706d..1fe908b8fc 100644
--- a/compiler/basicTypes/NameEnv.lhs
+++ b/compiler/basicTypes/NameEnv.lhs
@@ -6,26 +6,19 @@
\begin{code}
{-# LANGUAGE CPP #-}
-{-# OPTIONS_GHC -fno-warn-tabs #-}
--- The above warning supression flag is a temporary kludge.
--- While working on this module you are encouraged to remove it and
--- detab the module (please do the detabbing in a separate patch). See
--- http://ghc.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#TabsvsSpaces
--- for details
-
module NameEnv (
- -- * Var, Id and TyVar environments (maps)
- NameEnv,
-
- -- ** Manipulating these environments
- mkNameEnv,
- emptyNameEnv, unitNameEnv, nameEnvElts, nameEnvUniqueElts,
- extendNameEnv_C, extendNameEnv_Acc, extendNameEnv,
+ -- * Var, Id and TyVar environments (maps)
+ NameEnv,
+
+ -- ** Manipulating these environments
+ mkNameEnv,
+ emptyNameEnv, unitNameEnv, nameEnvElts, nameEnvUniqueElts,
+ extendNameEnv_C, extendNameEnv_Acc, extendNameEnv,
extendNameEnvList, extendNameEnvList_C,
- foldNameEnv, filterNameEnv,
- plusNameEnv, plusNameEnv_C, alterNameEnv,
- lookupNameEnv, lookupNameEnv_NF, delFromNameEnv, delListFromNameEnv,
- elemNameEnv, mapNameEnv,
+ foldNameEnv, filterNameEnv,
+ plusNameEnv, plusNameEnv_C, alterNameEnv,
+ lookupNameEnv, lookupNameEnv_NF, delFromNameEnv, delListFromNameEnv,
+ elemNameEnv, mapNameEnv,
-- ** Dependency analysis
depAnal
@@ -41,13 +34,13 @@ import Maybes
\end{code}
%************************************************************************
-%* *
+%* *
\subsection{Name environment}
-%* *
+%* *
%************************************************************************
\begin{code}
-depAnal :: (node -> [Name]) -- Defs
+depAnal :: (node -> [Name]) -- Defs
-> (node -> [Name]) -- Uses
-> [node]
-> [SCC node]
@@ -62,55 +55,55 @@ depAnal get_defs get_uses nodes
mk_node (node, key) = (node, key, mapMaybe (lookupNameEnv key_map) (get_uses node))
key_map :: NameEnv Int -- Maps a Name to the key of the decl that defines it
- key_map = mkNameEnv [(name,key) | (node, key) <- keyed_nodes, name <- get_defs node]
+ key_map = mkNameEnv [(name,key) | (node, key) <- keyed_nodes, name <- get_defs node]
\end{code}
%************************************************************************
-%* *
+%* *
\subsection{Name environment}
-%* *
+%* *
%************************************************************************
\begin{code}
-type NameEnv a = UniqFM a -- Domain is Name
+type NameEnv a = UniqFM a -- Domain is Name
-emptyNameEnv :: NameEnv a
-mkNameEnv :: [(Name,a)] -> NameEnv a
-nameEnvElts :: NameEnv a -> [a]
+emptyNameEnv :: NameEnv a
+mkNameEnv :: [(Name,a)] -> NameEnv a
+nameEnvElts :: NameEnv a -> [a]
nameEnvUniqueElts :: NameEnv a -> [(Unique, a)]
alterNameEnv :: (Maybe a-> Maybe a) -> NameEnv a -> Name -> NameEnv a
extendNameEnv_C :: (a->a->a) -> NameEnv a -> Name -> a -> NameEnv a
extendNameEnv_Acc :: (a->b->b) -> (a->b) -> NameEnv b -> Name -> a -> NameEnv b
-extendNameEnv :: NameEnv a -> Name -> a -> NameEnv a
-plusNameEnv :: NameEnv a -> NameEnv a -> NameEnv a
-plusNameEnv_C :: (a->a->a) -> NameEnv a -> NameEnv a -> NameEnv a
+extendNameEnv :: NameEnv a -> Name -> a -> NameEnv a
+plusNameEnv :: NameEnv a -> NameEnv a -> NameEnv a
+plusNameEnv_C :: (a->a->a) -> NameEnv a -> NameEnv a -> NameEnv a
extendNameEnvList :: NameEnv a -> [(Name,a)] -> NameEnv a
extendNameEnvList_C :: (a->a->a) -> NameEnv a -> [(Name,a)] -> NameEnv a
-delFromNameEnv :: NameEnv a -> Name -> NameEnv a
+delFromNameEnv :: NameEnv a -> Name -> NameEnv a
delListFromNameEnv :: NameEnv a -> [Name] -> NameEnv a
-elemNameEnv :: Name -> NameEnv a -> Bool
-unitNameEnv :: Name -> a -> NameEnv a
-lookupNameEnv :: NameEnv a -> Name -> Maybe a
+elemNameEnv :: Name -> NameEnv a -> Bool
+unitNameEnv :: Name -> a -> NameEnv a
+lookupNameEnv :: NameEnv a -> Name -> Maybe a
lookupNameEnv_NF :: NameEnv a -> Name -> a
-foldNameEnv :: (a -> b -> b) -> b -> NameEnv a -> b
-filterNameEnv :: (elt -> Bool) -> NameEnv elt -> NameEnv elt
-mapNameEnv :: (elt1 -> elt2) -> NameEnv elt1 -> NameEnv elt2
+foldNameEnv :: (a -> b -> b) -> b -> NameEnv a -> b
+filterNameEnv :: (elt -> Bool) -> NameEnv elt -> NameEnv elt
+mapNameEnv :: (elt1 -> elt2) -> NameEnv elt1 -> NameEnv elt2
nameEnvElts x = eltsUFM x
-emptyNameEnv = emptyUFM
-unitNameEnv x y = unitUFM x y
+emptyNameEnv = emptyUFM
+unitNameEnv x y = unitUFM x y
extendNameEnv x y z = addToUFM x y z
extendNameEnvList x l = addListToUFM x l
lookupNameEnv x y = lookupUFM x y
alterNameEnv = alterUFM
mkNameEnv l = listToUFM l
-elemNameEnv x y = elemUFM x y
-foldNameEnv a b c = foldUFM a b c
-plusNameEnv x y = plusUFM x y
-plusNameEnv_C f x y = plusUFM_C f x y
+elemNameEnv x y = elemUFM x y
+foldNameEnv a b c = foldUFM a b c
+plusNameEnv x y = plusUFM x y
+plusNameEnv_C f x y = plusUFM_C f x y
extendNameEnv_C f x y z = addToUFM_C f x y z
-mapNameEnv f x = mapUFM f x
+mapNameEnv f x = mapUFM f x
nameEnvUniqueElts x = ufmToList x
extendNameEnv_Acc x y z a b = addToUFM_Acc x y z a b
extendNameEnvList_C x y z = addListToUFM_C x y z
@@ -120,4 +113,3 @@ filterNameEnv x y = filterUFM x y
lookupNameEnv_NF env n = expectJust "lookupNameEnv_NF" (lookupNameEnv env n)
\end{code}
-