X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcInstDcls.lhs;h=b4d34983680bd4b8c80b155c8ddc3a91a5cee5f7;hb=f7c548fd652b99e7e2e4069ecd7ce2a5821d33ae;hp=da18ef1cdfe06872f2117addaa6e57b337a20c2d;hpb=e9a8eed0469dea01f9e8322305fabd5a74079374;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcInstDcls.lhs b/compiler/typecheck/TcInstDcls.lhs
index da18ef1..b4d3498 100644
--- a/compiler/typecheck/TcInstDcls.lhs
+++ b/compiler/typecheck/TcInstDcls.lhs
@@ -147,9 +147,8 @@ tcInstDecls1 tycl_decls inst_decls deriv_decls
 		-- (they recover, so that we get more than one error each
 		-- round) 
 
-		-- (1) Do class instance declarations and instances of indexed
-		--     types 
-       ; let { idxty_decls = filter (isIdxTyDecl . unLoc) tycl_decls }
+		-- (1) Do class and family instance declarations
+       ; let { idxty_decls = filter (isFamInstDecl . unLoc) tycl_decls }
        ; local_info_tycons <- mappM tcLocalInstDecl1  inst_decls
        ; idx_tycons        <- mappM tcIdxTyInstDeclTL idxty_decls
 
@@ -193,7 +192,7 @@ tcInstDecls1 tycl_decls inst_decls deriv_decls
     -- !!!TODO: Need to perform this check for the TyThing of type functions,
     --		too.
     tcIdxTyInstDeclTL ldecl@(L loc decl) =
-      do { tything <- tcIdxTyInstDecl ldecl
+      do { tything <- tcFamInstDecl ldecl
 	 ; setSrcSpan loc $
 	     when (isAssocFamily tything) $
 	       addErr $ assocInClassErr (tcdName decl)
@@ -243,7 +242,7 @@ tcLocalInstDecl1 decl@(L loc (InstDecl poly_ty binds uprags ats))
 	; (tyvars, theta, tau) <- tcHsInstHead poly_ty
 	
 	-- Next, process any associated types.
-	; idx_tycons <- mappM tcIdxTyInstDecl ats
+	; idx_tycons <- mappM tcFamInstDecl ats
 
 	-- Now, check the validity of the instance.
 	; (clas, inst_tys) <- checkValidInstHead tau