[commit: ghc] wip/rae: Existentials should be specified. (6a05ccd)

git at git.haskell.org git at git.haskell.org
Mon Feb 15 15:38:36 UTC 2016


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

On branch  : wip/rae
Link       : http://ghc.haskell.org/trac/ghc/changeset/6a05ccda8d24408242354994c5753689f2cce25b/ghc

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

commit 6a05ccda8d24408242354994c5753689f2cce25b
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.


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

6a05ccda8d24408242354994c5753689f2cce25b
 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)
 



More information about the ghc-commits mailing list