Commit 0c420cb6 authored by's avatar
Browse files

Comments only (#11513)

parent 525b54c4
......@@ -768,6 +768,8 @@ mkDataCon name declared_infix prom_info
tag = assoc "mkDataCon" (tyConDataCons rep_tycon `zip` [fIRST_TAG..]) con
rep_arg_tys = dataConRepArgTys con
-- NB: This type is user-facing for datatypes that don't need wrappers;
-- so it's important to use mkSpecForAllTys
rep_ty = mkSpecForAllTys univ_tvs $ mkSpecForAllTys ex_tvs $
mkFunTys rep_arg_tys $
mkTyConApp rep_tycon (mkTyVarTys univ_tvs)
Supports Markdown
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