From be5bbcf6d33d0e998d8acac8d2af557c0c9752a9 Mon Sep 17 00:00:00 2001 From: simonpj Date: Mon, 19 Jul 2004 11:27:36 +0000 Subject: [PATCH] [project @ 2004-07-19 11:26:13 by simonpj] Comments only --- ghc/compiler/basicTypes/Var.lhs | 2 +- ghc/compiler/typecheck/TcBinds.lhs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ghc/compiler/basicTypes/Var.lhs b/ghc/compiler/basicTypes/Var.lhs index 06514e2..350986e 100644 --- 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 --- a/ghc/compiler/typecheck/TcBinds.lhs +++ b/ghc/compiler/typecheck/TcBinds.lhs @@ -802,7 +802,7 @@ We used to have a form {-# SPECIALISE f :: = g #-} which promised that g implemented f at , but we do that with a RULE now: - {-# SPECIALISE (f::) = g #-} \begin{code} tcSpecSigs :: [LSig Name] -> TcM (LHsBinds TcId) -- 1.7.10.4