[project @ 2003-04-09 07:48:31 by simonpj]

Comments

diff --git a/ghc/compiler/types/FunDeps.lhs b/ghc/compiler/types/FunDeps.lhs
index 79f62fb..f8a9fba 100644 (file)
--- a/ghc/compiler/types/FunDeps.lhs
+++ b/ghc/compiler/types/FunDeps.lhs
@@ -280,7 +280,7 @@ checkClsFD qtvs fd clas_tvs tys1 tys2
 -- to make the types match.  For example, given
 --     class C a b | a->b where ...
 --     instance C (Maybe x) (Tree x) where ..
--- and an Inst of form (C (Maybe t1 t2), 
+-- and an Inst of form (C (Maybe t1) t2), 
 -- then we will call checkClsFD with
 --
 --     qtvs = {x}, tys1 = [Maybe x,  Tree x]