[project @ 2004-07-19 11:26:13 by simonpj]

Comments only

diff --git a/ghc/compiler/basicTypes/Var.lhs b/ghc/compiler/basicTypes/Var.lhs
index 06514e2..350986e 100644 (file)
--- a/ghc/compiler/basicTypes/Var.lhs
+++ b/ghc/compiler/basicTypes/Var.lhs
@@ -70,7 +70,7 @@ data Var
                                        -- cached here for speed
        tyVarKind :: Kind }
 
-  | TcTyVar {                  -- Used only during type inference
+  | TcTyVar {                          -- Used only during type inference
        varName        :: !Name,        -- Could we get away without a Name?
        realUnique     :: FastInt,
        tyVarKind      :: Kind,

diff --git a/ghc/compiler/typecheck/TcBinds.lhs b/ghc/compiler/typecheck/TcBinds.lhs
index 293ce10..c757ffc 100644 (file)
--- a/ghc/compiler/typecheck/TcBinds.lhs
+++ b/ghc/compiler/typecheck/TcBinds.lhs
@@ -802,7 +802,7 @@ We used to have a form
        {-# SPECIALISE f :: <type> = g #-}
 which promised that g implemented f at <type>, but we do that with 
 a RULE now:
-       {-# SPECIALISE (f::<type) = g #-}
+       {-# RULES (f::<type>) = g #-}
 
 \begin{code}
 tcSpecSigs :: [LSig Name] -> TcM (LHsBinds TcId)