X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fprelude%2FPrelNames.lhs;h=59a13de421e181998f6ee4a62221170ff423bef7;hp=4bbb479f9427c6989c6c4c27ae1594c3735ce6cc;hb=e5c3b478b3cd1707cf122833822f44b2ac09b8e9;hpb=41cecc14547b049cec20e827ceae8ff312c9ff4f diff --git a/compiler/prelude/PrelNames.lhs b/compiler/prelude/PrelNames.lhs index 4bbb479..59a13de 100644 --- a/compiler/prelude/PrelNames.lhs +++ b/compiler/prelude/PrelNames.lhs @@ -214,30 +214,9 @@ basicKnownKeyNames randomClassName, randomGenClassName, monadPlusClassName, -- Code types - hetmet_brak_name, hetmet_esc_name, hetmet_csp_name, hetmet_flatten_name, hetmet_unflatten_name, hetmet_flattened_id_name, - hetmet_guest_integer_literal_name, hetmet_guest_string_literal_name, - hetmet_guest_char_literal_name, - hetmet_PGArrow_name, - hetmet_PGArrow_unit_name, - hetmet_PGArrow_tensor_name, - hetmet_PGArrow_exponent_name, - hetmet_pga_id_name, - hetmet_pga_comp_name, - hetmet_pga_first_name, - hetmet_pga_second_name, - hetmet_pga_cancell_name, - hetmet_pga_cancelr_name, - hetmet_pga_uncancell_name, - hetmet_pga_uncancelr_name, - hetmet_pga_assoc_name, - hetmet_pga_unassoc_name, - hetmet_pga_copy_name, - hetmet_pga_drop_name, - hetmet_pga_swap_name, - hetmet_pga_applyl_name, - hetmet_pga_applyr_name, - hetmet_pga_curryl_name, - hetmet_pga_curryr_name, + hetmet_brak_name, hetmet_esc_name, hetmet_csp_name, + hetmet_kappa_name, hetmet_kappa_app_name, + hetmet_guest_integer_literal_name, hetmet_guest_string_literal_name, hetmet_guest_char_literal_name, -- Annotation type checking toAnnotationWrapperName @@ -306,8 +285,8 @@ gHC_PRIM, gHC_TYPES, gHC_UNIT, gHC_ORDERING, gHC_GENERICS, gHC_HETMET_PRIVATE, gHC_HETMET_GARROW, gHC_TUPLE, dATA_TUPLE, dATA_EITHER, dATA_STRING, dATA_FOLDABLE, dATA_TRAVERSABLE, - gHC_PACK, gHC_CONC, gHC_IO, gHC_IO_Exception, - gHC_ST, gHC_ARR, gHC_STABLE, gHC_ADDR, gHC_PTR, gHC_ERR, gHC_REAL, + gHC_CONC, gHC_IO, gHC_IO_Exception, + gHC_ST, gHC_ARR, gHC_STABLE, gHC_PTR, gHC_ERR, gHC_REAL, gHC_FLOAT, gHC_TOP_HANDLER, sYSTEM_IO, dYNAMIC, tYPEABLE, gENERICS, dOTNET, rEAD_PREC, lEX, gHC_INT, gHC_WORD, mONAD, mONAD_FIX, mONAD_GROUP, mONAD_ZIP, aRROW, cONTROL_APPLICATIVE, gHC_DESUGAR, rANDOM, gHC_EXTS, @@ -331,7 +310,7 @@ gHC_INTEGER = mkIntegerModule (fsLit "GHC.Integer") gHC_INTEGER_TYPE= mkIntegerModule (fsLit "GHC.Integer.Type") gHC_HETMET_CODETYPES = mkBaseModule (fsLit "GHC.HetMet.CodeTypes") gHC_HETMET_PRIVATE = mkBaseModule (fsLit "GHC.HetMet.Private") -gHC_HETMET_GARROW = mkBaseModule (fsLit "GHC.HetMet.GArrow") +gHC_HETMET_GARROW = mkBaseModule (fsLit "Control.GArrow") gHC_LIST = mkBaseModule (fsLit "GHC.List") gHC_TUPLE = mkPrimModule (fsLit "GHC.Tuple") dATA_TUPLE = mkBaseModule (fsLit "Data.Tuple") @@ -339,14 +318,12 @@ dATA_EITHER = mkBaseModule (fsLit "Data.Either") dATA_STRING = mkBaseModule (fsLit "Data.String") dATA_FOLDABLE = mkBaseModule (fsLit "Data.Foldable") dATA_TRAVERSABLE= mkBaseModule (fsLit "Data.Traversable") -gHC_PACK = mkBaseModule (fsLit "GHC.Pack") gHC_CONC = mkBaseModule (fsLit "GHC.Conc") gHC_IO = mkBaseModule (fsLit "GHC.IO") gHC_IO_Exception = mkBaseModule (fsLit "GHC.IO.Exception") gHC_ST = mkBaseModule (fsLit "GHC.ST") gHC_ARR = mkBaseModule (fsLit "GHC.Arr") gHC_STABLE = mkBaseModule (fsLit "GHC.Stable") -gHC_ADDR = mkBaseModule (fsLit "GHC.Addr") gHC_PTR = mkBaseModule (fsLit "GHC.Ptr") gHC_ERR = mkBaseModule (fsLit "GHC.Err") gHC_REAL = mkBaseModule (fsLit "GHC.Real") @@ -917,61 +894,18 @@ emptyPName pkg = varQual (gHC_PARR pkg) (fsLit "emptyP") empty appPName pkg = varQual (gHC_PARR pkg) (fsLit "+:+") appPIdKey -- code type things -hetmet_brak_name, hetmet_esc_name, hetmet_csp_name, hetmet_flatten_name, hetmet_unflatten_name, hetmet_flattened_id_name :: Name +hetmet_brak_name, hetmet_esc_name, hetmet_csp_name :: Name +hetmet_kappa_name, hetmet_kappa_app_name :: Name hetmet_guest_integer_literal_name, hetmet_guest_string_literal_name, hetmet_guest_char_literal_name :: Name -hetmet_brak_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_brak") hetmet_brak_key -hetmet_esc_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_esc") hetmet_esc_key -hetmet_csp_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_csp") hetmet_csp_key -hetmet_flatten_name = varQual gHC_HETMET_CODETYPES (fsLit "pga_flatten") hetmet_flatten_key -hetmet_unflatten_name = varQual gHC_HETMET_CODETYPES (fsLit "pga_unflatten") hetmet_unflatten_key -hetmet_flattened_id_name = varQual gHC_HETMET_CODETYPES (fsLit "pga_flattened_id") hetmet_flattened_id_key +hetmet_brak_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_brak") hetmet_brak_key +hetmet_esc_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_esc") hetmet_esc_key +hetmet_csp_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_csp") hetmet_csp_key +hetmet_kappa_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_kappa") hetmet_kappa_key +hetmet_kappa_app_name = varQual gHC_HETMET_CODETYPES (fsLit "hetmet_kappa_app") hetmet_kappa_app_key hetmet_guest_integer_literal_name = varQual gHC_HETMET_CODETYPES (fsLit "guestIntegerLiteral") hetmet_guest_integer_literal_key hetmet_guest_string_literal_name = varQual gHC_HETMET_CODETYPES (fsLit "guestStringLiteral") hetmet_guest_string_literal_key hetmet_guest_char_literal_name = varQual gHC_HETMET_CODETYPES (fsLit "guestCharLiteral") hetmet_guest_char_literal_key -hetmet_PGArrow_name :: Name -hetmet_PGArrow_name = tcQual gHC_HETMET_PRIVATE (fsLit "PGArrow") hetmet_PGArrow_key -hetmet_PGArrow_unit_name :: Name -hetmet_PGArrow_unit_name = tcQual gHC_HETMET_GARROW (fsLit "GArrowUnit") hetmet_PGArrow_unit_key -hetmet_PGArrow_tensor_name :: Name -hetmet_PGArrow_tensor_name = tcQual gHC_HETMET_GARROW (fsLit "GArrowTensor") hetmet_PGArrow_tensor_key -hetmet_PGArrow_exponent_name :: Name -hetmet_PGArrow_exponent_name = tcQual gHC_HETMET_GARROW (fsLit "GArrowExponent") hetmet_PGArrow_exponent_key -hetmet_pga_id_name :: Name -hetmet_pga_id_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_id") hetmet_pga_id_key -hetmet_pga_comp_name :: Name -hetmet_pga_comp_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_comp") hetmet_pga_comp_key -hetmet_pga_first_name :: Name -hetmet_pga_first_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_first") hetmet_pga_first_key -hetmet_pga_second_name :: Name -hetmet_pga_second_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_second") hetmet_pga_second_key -hetmet_pga_cancell_name :: Name -hetmet_pga_cancell_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_cancell") hetmet_pga_cancell_key -hetmet_pga_cancelr_name :: Name -hetmet_pga_cancelr_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_cancelr") hetmet_pga_cancelr_key -hetmet_pga_uncancell_name :: Name -hetmet_pga_uncancell_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_uncancell") hetmet_pga_uncancell_key -hetmet_pga_uncancelr_name :: Name -hetmet_pga_uncancelr_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_uncancelr") hetmet_pga_uncancelr_key -hetmet_pga_assoc_name :: Name -hetmet_pga_assoc_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_assoc") hetmet_pga_assoc_key -hetmet_pga_unassoc_name :: Name -hetmet_pga_unassoc_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_unassoc") hetmet_pga_unassoc_key -hetmet_pga_copy_name :: Name -hetmet_pga_copy_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_copy") hetmet_pga_copy_key -hetmet_pga_drop_name :: Name -hetmet_pga_drop_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_drop") hetmet_pga_drop_key -hetmet_pga_swap_name :: Name -hetmet_pga_swap_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_swap") hetmet_pga_swap_key -hetmet_pga_applyl_name :: Name -hetmet_pga_applyl_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_applyl") hetmet_pga_applyl_key -hetmet_pga_applyr_name :: Name -hetmet_pga_applyr_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_applyr") hetmet_pga_applyr_key -hetmet_pga_curryl_name :: Name -hetmet_pga_curryl_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_curryl") hetmet_pga_curryl_key -hetmet_pga_curryr_name :: Name -hetmet_pga_curryr_name = varQual gHC_HETMET_PRIVATE (fsLit "pga_curryr") hetmet_pga_curryr_key - -- IO things ioTyConName, ioDataConName, thenIOName, bindIOName, returnIOName, failIOName :: Name @@ -1587,61 +1521,20 @@ mzipIdKey = mkPreludeMiscIdUnique 134 -- code types hetMetCodeTypeTyConKey :: Unique hetMetCodeTypeTyConKey = mkPreludeTyConUnique 135 +hetMetKappaTyConKey :: Unique +hetMetKappaTyConKey = mkPreludeTyConUnique 137 hetmet_guest_integer_literal_key, hetmet_guest_string_literal_key, hetmet_guest_char_literal_key :: Unique -hetmet_guest_integer_literal_key = mkPreludeMiscIdUnique 134 -hetmet_guest_string_literal_key = mkPreludeMiscIdUnique 135 -hetmet_guest_char_literal_key = mkPreludeMiscIdUnique 136 -hetmet_PGArrow_key :: Unique -hetmet_PGArrow_key = mkPreludeMiscIdUnique 137 -hetmet_pga_id_key :: Unique -hetmet_pga_id_key = mkPreludeMiscIdUnique 138 -hetmet_pga_comp_key :: Unique -hetmet_pga_comp_key = mkPreludeMiscIdUnique 139 -hetmet_pga_first_key :: Unique -hetmet_pga_first_key = mkPreludeMiscIdUnique 140 -hetmet_pga_second_key :: Unique -hetmet_pga_second_key = mkPreludeMiscIdUnique 141 -hetmet_pga_cancell_key :: Unique -hetmet_pga_cancell_key = mkPreludeMiscIdUnique 142 -hetmet_pga_cancelr_key :: Unique -hetmet_pga_cancelr_key = mkPreludeMiscIdUnique 143 -hetmet_pga_uncancell_key :: Unique -hetmet_pga_uncancell_key = mkPreludeMiscIdUnique 144 -hetmet_pga_uncancelr_key :: Unique -hetmet_pga_uncancelr_key = mkPreludeMiscIdUnique 145 -hetmet_pga_assoc_key :: Unique -hetmet_pga_assoc_key = mkPreludeMiscIdUnique 146 -hetmet_pga_unassoc_key :: Unique -hetmet_pga_unassoc_key = mkPreludeMiscIdUnique 147 -hetmet_pga_copy_key :: Unique -hetmet_pga_copy_key = mkPreludeMiscIdUnique 148 -hetmet_pga_drop_key :: Unique -hetmet_pga_drop_key = mkPreludeMiscIdUnique 149 -hetmet_pga_swap_key :: Unique -hetmet_pga_swap_key = mkPreludeMiscIdUnique 150 -hetmet_pga_applyl_key :: Unique -hetmet_pga_applyl_key = mkPreludeMiscIdUnique 151 -hetmet_pga_applyr_key :: Unique -hetmet_pga_applyr_key = mkPreludeMiscIdUnique 152 -hetmet_pga_curryl_key :: Unique -hetmet_pga_curryl_key = mkPreludeMiscIdUnique 153 -hetmet_pga_curryr_key :: Unique -hetmet_pga_curryr_key = mkPreludeMiscIdUnique 154 -hetmet_flatten_key = mkPreludeMiscIdUnique 155 -hetmet_unflatten_key = mkPreludeMiscIdUnique 156 -hetmet_flattened_id_key = mkPreludeMiscIdUnique 157 -hetmet_PGArrow_unit_key :: Unique -hetmet_PGArrow_unit_key = mkPreludeMiscIdUnique 158 -hetmet_PGArrow_tensor_key :: Unique -hetmet_PGArrow_tensor_key = mkPreludeMiscIdUnique 159 -hetmet_PGArrow_exponent_key :: Unique -hetmet_PGArrow_exponent_key = mkPreludeMiscIdUnique 160 - -hetmet_brak_key, hetmet_esc_key, hetmet_csp_key, hetmet_flatten_key, hetmet_unflatten_key, hetmet_flattened_id_key :: Unique -hetmet_brak_key = mkPreludeMiscIdUnique 161 -hetmet_esc_key = mkPreludeMiscIdUnique 162 -hetmet_csp_key = mkPreludeMiscIdUnique 163 +hetmet_guest_integer_literal_key = mkPreludeMiscIdUnique 138 +hetmet_guest_string_literal_key = mkPreludeMiscIdUnique 139 +hetmet_guest_char_literal_key = mkPreludeMiscIdUnique 140 + +hetmet_brak_key, hetmet_esc_key, hetmet_csp_key :: Unique +hetmet_brak_key = mkPreludeMiscIdUnique 141 +hetmet_esc_key = mkPreludeMiscIdUnique 143 +hetmet_csp_key = mkPreludeMiscIdUnique 145 +hetmet_kappa_key = mkPreludeMiscIdUnique 146 +hetmet_kappa_app_key = mkPreludeMiscIdUnique 147 ---------------- Template Haskell -------------------