-- 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
-- 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 -------------------