Supply a reasonable name (should be derived from d_name tho)
authorGabor Greif <ggreif@gmail.com>
Wed, 17 Sep 2014 05:46:39 +0000 (07:46 +0200)
committerGabor Greif <ggreif@gmail.com>
Fri, 19 Sep 2014 01:38:42 +0000 (03:38 +0200)
compiler/typecheck/TcGenGenerics.lhs

index 0a71293..0998141 100644 (file)
@@ -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 undefined openTypeKind] c_name) [mkTyConTy metaDTyCon]) c_names
+          metaCTyCons = map (\c_name -> mkTyConApp (mkTyCon [mkTyVar c_name openTypeKind] c_name) [mkTyConTy metaDTyCon]) c_names
           metaSTyCons = map (map $ mkTyCon []) s_names
 
           metaDts = MetaTyCons metaDTyCon metaCTyCons metaSTyCons