X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypes%2FGenerics.lhs;fp=ghc%2Fcompiler%2Ftypes%2FGenerics.lhs;h=20bc33af6eb0c826057ba6b493162040f0e6e338;hb=3355c9d53b220ccb110e5a3c81a1a8b2c9c41555;hp=3a596e774f124e7f282e2e5cc3e17aa2373e29ec;hpb=f761d6d07c3948fe7356170b5516687e1d6c4f33;p=ghc-hetmet.git diff --git a/ghc/compiler/types/Generics.lhs b/ghc/compiler/types/Generics.lhs index 3a596e7..20bc33a 100644 --- a/ghc/compiler/types/Generics.lhs +++ b/ghc/compiler/types/Generics.lhs @@ -25,13 +25,13 @@ import CoreUtils ( exprArity ) import BasicTypes ( EP(..), Boxity(..) ) import Var ( TyVar ) import VarSet ( varSetElems ) -import Id ( Id, mkVanillaGlobal, idType, idName, mkSysLocal ) +import Id ( Id, mkGlobalId, idType, idName, mkSysLocal ) import MkId ( mkReboxingAlt, mkNewTypeBody ) import TysWiredIn ( genericTyCons, genUnitTyCon, genUnitDataCon, plusTyCon, inrDataCon, inlDataCon, crossTyCon, crossDataCon ) -import IdInfo ( noCafIdInfo, setUnfoldingInfo, setArityInfo ) +import IdInfo ( GlobalIdDetails(..), noCafIdInfo, setUnfoldingInfo, setArityInfo ) import CoreUnfold ( mkTopUnfolding ) import Maybe ( isNothing ) @@ -261,9 +261,11 @@ mkTyConGenInfo tycon [from_name, to_name] | otherwise = ASSERT( not (null datacons) ) -- mk_sum_stuff loops if no datacons - Just (EP { fromEP = mkVanillaGlobal from_name from_ty from_id_info, - toEP = mkVanillaGlobal to_name to_ty to_id_info }) + Just (EP { fromEP = mk_id from_name from_ty from_id_info, + toEP = mk_id to_name to_ty to_id_info }) where + mk_id = mkGlobalId (GenericOpId tycon) + maybe_datacons = tyConDataCons_maybe tycon Just datacons = maybe_datacons -- [C, D]