Commit 2c7b1830 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments only

parent 3382ade3
......@@ -1086,6 +1086,11 @@ decideQuantifiedTyVars mono_tvs name_taus psigs candidates
; qtvs <- quantifyTyVars mono_tvs dvs_plus
; return (qtvs, co_vars) }
-- Return all the CoVars that (transitively) might be mentioned
-- in the tau_tys etc. We don't need to do a closeOverKinds on
-- co_vars to get the transitive ones, becuase the grown_tvs
-- are already closed over kinds, and hence contain all such
-- co_vars
------------------
growThetaTyVars :: ThetaType -> TyCoVarSet -> TyCoVarSet
......
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