[kind check associated types
John Meacham <john@repetae.net>**20061017200310] hunk ./FrontEnd/Class.hs 645
+groupEquations (HsTypeDecl {}:ds) = groupEquations ds
hunk ./FrontEnd/KindInfer.hs 431
+
+--declsToKindGroup ds = ans where
+--    ans = execWriter (mapM_ f ds)
+--    f (HsDataDecl _sloc context tyconName tyconArgs condecls _derives) = do
+--        declsToKindGroup
+
hunk ./FrontEnd/KindInfer.hs 464
+declsToKindGroup (HsTypeDecl _sloc name names t: decls)
+   = (restClassDecls,
+      (name,names):restDataHeads,
+      restContext,
+      restDataBodies,
+      restClassBodies)
+   where
+   (restClassDecls, restDataHeads, restContext, restDataBodies, restClassBodies)
+      = declsToKindGroup decls
hunk ./FrontEnd/KindInfer.hs 476
-      restDataHeads,
+      foos ++ restDataHeads,
hunk ./FrontEnd/KindInfer.hs 483
-   --rn = runIdentity $ applyTU (full_tdTU $ adhocTU (constTU ([])) f) newClassBodies
-   --f (HsTyVar n') | hsNameToOrig n' == hsNameToOrig classArg = return [n']
-   --f _ = return []
hunk ./FrontEnd/KindInfer.hs 486
+   foos = [ (name,names) | HsTypeDecl _sloc name names _ <- sigsAndDefaults ]