[commit: ghc] wip/rae: Existentials should be specified. (90f3561)

[git at git.haskell.org]

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

On branch  : wip/rae
Link       : http://ghc.haskell.org/trac/ghc/changeset/90f35612f16ff9cb2466cc936f12e748402abb85/ghc

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

commit 90f35612f16ff9cb2466cc936f12e748402abb85
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.


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

90f35612f16ff9cb2466cc936f12e748402abb85
 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)