Existentials should be specified.
authorRichard Eisenberg <eir@cis.upenn.edu>
Fri, 29 Jan 2016 18:09:42 +0000 (13:09 -0500)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 17 Feb 2016 18:16:00 +0000 (13:16 -0500)
This addresses point (2) from #11513.

compiler/basicTypes/DataCon.hs

index 0626836..fd25c79 100644 (file)
@@ -768,7 +768,7 @@ mkDataCon name declared_infix prom_info
 
     tag = assoc "mkDataCon" (tyConDataCons rep_tycon `zip` [fIRST_TAG..]) con
     rep_arg_tys = dataConRepArgTys con
-    rep_ty = mkSpecForAllTys univ_tvs $ mkInvForAllTys ex_tvs $
+    rep_ty = mkSpecForAllTys univ_tvs $ mkSpecForAllTys ex_tvs $
              mkFunTys rep_arg_tys $
              mkTyConApp rep_tycon (mkTyVarTys univ_tvs)