Commit 7ef90e3a authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments only

parent 60bbc0af
......@@ -1019,7 +1019,9 @@ tcFamTyPats :: Name -- of the family ToCon
-> Kind -- of the family TyCon
-> HsWithBndrs [LHsType Name] -- patterns
-> (TcKind -> TcM ()) -- kind-checker for RHS
-> ([TKVar] -> [TcType] -> Kind -> TcM a)
-> ([TKVar] -- Kind and type variables
-> [TcType] -- Kind and type arguments
-> Kind -> TcM a)
-> TcM a
tcFamTyPats fam_tc_name kind pats kind_checker thing_inside
= do { (fam_arg_kinds, typats, res_kind)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment