[project @ 2002-09-16 07:31:11 by simonpj]

[ghc-hetmet.git] / ghc / compiler / rename / RnSource.lhs

diff --git a/ghc/compiler/rename/RnSource.lhs b/ghc/compiler/rename/RnSource.lhs
index d8c9a5b..e67b4ad 100644 (file)
--- a/ghc/compiler/rename/RnSource.lhs
+++ b/ghc/compiler/rename/RnSource.lhs
@@ -417,6 +417,8 @@ Check the shape of a transformation rule LHS.  Currently
 we only allow LHSs of the form @(f e1 .. en)@, where @f@ is
 not one of the @forall@'d variables.
 
+NB: if you add new cases here, make sure you add new ones to TcRule.ruleLhsTvs
+
 \begin{code}
 validRuleLhs foralls lhs
   = check lhs