[commit: ghc] wip/generics-propeq-conservative: Use 'd_name' as the name (should be derived from d_name tho) (09fcd70)

git at git.haskell.org git at git.haskell.org
Fri Sep 19 01:57:48 UTC 2014


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

On branch  : wip/generics-propeq-conservative
Link       : http://ghc.haskell.org/trac/ghc/changeset/09fcd700cfe891ea83aab8f5e1e25f13c193e05c/ghc

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

commit 09fcd700cfe891ea83aab8f5e1e25f13c193e05c
Author: Gabor Greif <ggreif at gmail.com>
Date:   Wed Sep 17 10:56:20 2014 +0200

    Use 'd_name' as the name (should be derived from d_name tho)


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

09fcd700cfe891ea83aab8f5e1e25f13c193e05c
 compiler/typecheck/TcGenGenerics.lhs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcGenGenerics.lhs b/compiler/typecheck/TcGenGenerics.lhs
index 0998141..dde339d 100644
--- a/compiler/typecheck/TcGenGenerics.lhs
+++ b/compiler/typecheck/TcGenGenerics.lhs
@@ -100,7 +100,7 @@ genGenericMetaTyCons tc mod =
                     newGlobalBinder mod (s_occ m n) loc
 
       let metaDTyCon  = mkTyCon [] d_name
-          metaCTyCons = map (\c_name -> mkTyConApp (mkTyCon [mkTyVar c_name openTypeKind] c_name) [mkTyConTy metaDTyCon]) c_names
+          metaCTyCons = map (\c_name -> mkTyConApp (mkTyCon [mkTyVar d_name openTypeKind] c_name) [mkTyConTy metaDTyCon]) c_names
           metaSTyCons = map (map $ mkTyCon []) s_names
 
           metaDts = MetaTyCons metaDTyCon metaCTyCons metaSTyCons



More information about the ghc-commits mailing list