Comments only (#11513)

Yuras · Feb 17, 2016 · 0c420cb · 0c420cb
1 parent 525b54c
commit 0c420cb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/compiler/basicTypes/DataCon.hs b/compiler/basicTypes/DataCon.hs
@@ -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)