From 92cee1fc0f88395d566888cdab8fdfdd2fb906a2 Mon Sep 17 00:00:00 2001 From: simonpj Date: Wed, 9 Apr 2003 07:48:31 +0000 Subject: [PATCH] [project @ 2003-04-09 07:48:31 by simonpj] Comments --- ghc/compiler/types/FunDeps.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc/compiler/types/FunDeps.lhs b/ghc/compiler/types/FunDeps.lhs index 79f62fb..f8a9fba 100644 --- 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] -- 1.7.10.4