[project @ 2003-02-04 12:23:32 by simonpj]

Add type sig

diff --git a/ghc/compiler/basicTypes/VarEnv.lhs b/ghc/compiler/basicTypes/VarEnv.lhs
index 393a384..d219fe5 100644 (file)
--- a/ghc/compiler/basicTypes/VarEnv.lhs
+++ b/ghc/compiler/basicTypes/VarEnv.lhs
@@ -50,6 +50,8 @@ When tidying up print names, we keep a mapping of in-scope occ-names
 
 \begin{code}
 type TidyEnv = (TidyOccEnv, VarEnv Var)
+
+emptyTidyEnv :: TidyEnv
 emptyTidyEnv = (emptyTidyOccEnv, emptyVarEnv)
 \end{code}
 

diff --git a/ghc/compiler/coreSyn/CoreTidy.lhs b/ghc/compiler/coreSyn/CoreTidy.lhs
index 18ecbab..adf10d1 100644 (file)
--- a/ghc/compiler/coreSyn/CoreTidy.lhs
+++ b/ghc/compiler/coreSyn/CoreTidy.lhs
@@ -60,6 +60,7 @@ tidyBind env (Rec prs)
 
 
 ------------  Expressions  --------------
+tidyExpr :: TidyEnv -> CoreExpr -> CoreExpr
 tidyExpr env (Var v)           =  Var (tidyVarOcc env v)
 tidyExpr env (Type ty)         =  Type (tidyType env ty)
 tidyExpr env (Lit lit)         =  Lit lit