X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FFamInstEnv.lhs;h=c8a509f059c2f592ab06c01222a14f3e61ec5dd2;hb=ff8e1d01524b48e028b09e2b04b2e5303cb6d95f;hp=60b55d10ce08c6c7b90b814062b3c9f6d51f0cff;hpb=cd290fc88d35d5a32c994664baa56a5eae250e9e;p=ghc-hetmet.git

diff --git a/compiler/types/FamInstEnv.lhs b/compiler/types/FamInstEnv.lhs
index 60b55d1..c8a509f 100644
--- a/compiler/types/FamInstEnv.lhs
+++ b/compiler/types/FamInstEnv.lhs
@@ -51,7 +51,7 @@ data FamInst
 
 		-- Used for "rough matching"; same idea as for class instances
 	    , fi_tcs   :: [Maybe Name]	-- Top of type args
-		-- INVARIANT: fi_tcs = roughMatchTcs is_tys
+		-- INVARIANT: fi_tcs = roughMatchTcs fi_tys
 
 		-- Used for "proper matching"; ditto
 	    , fi_tvs   :: TyVarSet	-- Template tyvars for full match