From: simonpj Date: Wed, 9 Apr 2003 07:48:31 +0000 (+0000) Subject: [project @ 2003-04-09 07:48:31 by simonpj] X-Git-Tag: Approx_11550_changesets_converted~983 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=92cee1fc0f88395d566888cdab8fdfdd2fb906a2;p=ghc-hetmet.git [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 --- 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]