Existentials should be specified.

This addresses point (2) from #11513.
Yuras · Feb 17, 2016 · 90f3561 · 90f3561
1 parent b962bcc
commit 90f3561
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/basicTypes/DataCon.hs b/compiler/basicTypes/DataCon.hs
@@ -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)