-- Code types
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
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")
-- code type things
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_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
-- 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_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 161
-hetmet_esc_key = mkPreludeMiscIdUnique 162
-hetmet_csp_key = mkPreludeMiscIdUnique 163
+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 -------------------