Commit 18b106e6 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments only

parent b4c17472
......@@ -360,7 +360,8 @@ bindHsTyVars :: HsDocContext
-> (LHsTyVarBndrs Name -> RnM (b, FreeVars))
-> RnM (b, FreeVars)
-- (a) Bring kind variables into scope
-- both (i) passed in (kv_bndrs) and (ii) mentioned in the kinds of tv_bndrs
-- both (i) passed in (kv_bndrs)
-- and (ii) mentioned in the kinds of tv_bndrs
-- (b) Bring type variables into scope
bindHsTyVars doc mb_assoc kv_bndrs tv_bndrs thing_inside
= do { rdr_env <- getLocalRdrEnv
......
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