Updated some comments

src/ModuleSummary.hs

@@ -76,7 +76,7 @@ genTypeSyns tcEnv mident decls
   = concatMap (genTypeSynDecl mident tcEnv) $ filter isTypeSyn decls
 
 isTypeSyn :: Decl -> Bool
-isTypeSyn (TypeDecl _ _ _ texpr) = case texpr of
+isTypeSyn (TypeDecl _ _ _ ty) = case ty of
   RecordType _ -> False
   _            -> True
 isTypeSyn _ = False

src/Transformations.hs

@@ -37,18 +37,18 @@ qual :: Options -> CompEnv Module -> CompEnv Module
 qual opts (env, mdl) = (qualifyEnv opts env, mdl')
   where mdl' = Q.qual (moduleIdent env) (tyConsEnv env) (valueEnv env) mdl
 
--- |Remove syntactic sugar
+-- |Remove any syntactic sugar, changes the value environment.
 desugar :: Bool -> CompEnv Module -> CompEnv Module
 desugar dsfp (env, mdl) = (env { valueEnv = tyEnv' }, mdl')
   where (mdl', tyEnv') = DS.desugar dsfp (extensions env) (valueEnv env)
                                          (tyConsEnv env) mdl
 
--- |Simplify the source code.
+-- |Simplify the source code, changes the value environment.
 simplify :: CompEnv Module -> CompEnv Module
 simplify (env, mdl) = (env { valueEnv = tyEnv' }, mdl')
   where (mdl', tyEnv') = S.simplify (valueEnv env) (tyConsEnv env) mdl
 
--- |Lift local declarations
+-- |Lift local declarations, changes the value environment.
 lift :: CompEnv Module -> CompEnv Module
 lift (env, mdl) = (env { valueEnv = tyEnv' }, mdl')
   where (mdl', tyEnv') = L.lift (valueEnv env) mdl