[commit: ghc] ghc-8.0: Existentials should be specified. (31ab4b6)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : ghc-8.0
Link       : http://ghc.haskell.org/trac/ghc/changeset/31ab4b6b40f5f411b2e178df5916ae7e88343079/ghc

>---------------------------------------------------------------

commit 31ab4b6b40f5f411b2e178df5916ae7e88343079
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Fri Jan 29 13:09:42 2016 -0500

    Existentials should be specified.
    
    This addresses point (2) from #11513.
    
    (cherry picked from commit 90f35612f16ff9cb2466cc936f12e748402abb85)


>---------------------------------------------------------------

31ab4b6b40f5f411b2e178df5916ae7e88343079
 compiler/basicTypes/DataCon.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/basicTypes/DataCon.hs b/compiler/basicTypes/DataCon.hs
index 0626836..fd25c79 100644
--- 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)