[project @ 2000-07-15 15:09:45 by panne]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcMonoType.lhs

diff --git a/ghc/compiler/typecheck/TcMonoType.lhs b/ghc/compiler/typecheck/TcMonoType.lhs
index 17189bd..fbf9a71 100644 (file)
--- a/ghc/compiler/typecheck/TcMonoType.lhs
+++ b/ghc/compiler/typecheck/TcMonoType.lhs
@@ -256,8 +256,8 @@ kcHsPred pred@(HsPClass cls tys)
 %*                                                                     *
 %************************************************************************
 
-tcHsType and tcHsTypeKind
-~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+tcHsSigType and tcHsBoxedSigType
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 tcHsSigType and tcHsBoxedSigType are used for type signatures written by the programmer
 
@@ -283,8 +283,8 @@ tcHsBoxedSigType ty
 \end{code}
 
 
-The main work horse
-~~~~~~~~~~~~~~~~~~~
+tcHsType, the main work horse
+~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 \begin{code}
 tcHsType :: RenamedHsType -> TcM s Type