Commit 57f58c53 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur 🏢
Browse files

removed _TypePatternVar constructor from TypeCode

The distinction between TypePatternVars and TypeVars is not really
necessary.
parent d845067f
...@@ -3445,7 +3445,7 @@ where ...@@ -3445,7 +3445,7 @@ where
<=< adjustPredefSymbol PD_Dyn_TypeCons mod_index STE_Constructor <=< adjustPredefSymbol PD_Dyn_TypeCons mod_index STE_Constructor
<=< adjustPredefSymbol PD_Dyn_TypeApp mod_index STE_Constructor <=< adjustPredefSymbol PD_Dyn_TypeApp mod_index STE_Constructor
<=< adjustPredefSymbol PD_Dyn_TypeVar mod_index STE_Constructor <=< adjustPredefSymbol PD_Dyn_TypeVar mod_index STE_Constructor
<=< adjustPredefSymbol PD_Dyn_TypePatternVar mod_index STE_Constructor // <=< adjustPredefSymbol PD_Dyn_TypePatternVar mod_index STE_Constructor
<=< adjustPredefSymbol PD_Dyn_UnificationEnvironment mod_index STE_Type <=< adjustPredefSymbol PD_Dyn_UnificationEnvironment mod_index STE_Type
<=< adjustPredefSymbol PD_Dyn_initial_unification_environment mod_index STE_DclFunction <=< adjustPredefSymbol PD_Dyn_initial_unification_environment mod_index STE_DclFunction
<=< adjustPredefSymbol PD_Dyn_bind_global_type_pattern_var mod_index STE_DclFunction <=< adjustPredefSymbol PD_Dyn_bind_global_type_pattern_var mod_index STE_DclFunction
......
...@@ -744,7 +744,8 @@ convertTypeCode pattern cinp (TCE_Selector selections var_info_ptr) st ...@@ -744,7 +744,8 @@ convertTypeCode pattern cinp (TCE_Selector selections var_info_ptr) st
createTypePatternVariable :: !*ConversionState -> (!Expression, !*ConversionState) createTypePatternVariable :: !*ConversionState -> (!Expression, !*ConversionState)
createTypePatternVariable ci createTypePatternVariable ci
# (tpv_symb, ci) # (tpv_symb, ci)
= getSymbol PD_Dyn_TypePatternVar SK_Constructor 1 ci // = getSymbol PD_Dyn_TypePatternVar SK_Constructor 1 ci
= getSymbol PD_Dyn_TypeVar SK_Constructor 1 ci
= (App { app_symb = tpv_symb, = (App { app_symb = tpv_symb,
app_args = [BasicExpr (BVInt ci.ci_type_pattern_var_count)], app_args = [BasicExpr (BVInt ci.ci_type_pattern_var_count)],
app_info_ptr = nilPtr }, app_info_ptr = nilPtr },
......
...@@ -141,7 +141,7 @@ PD_Dyn_Type :== 164 ...@@ -141,7 +141,7 @@ PD_Dyn_Type :== 164
PD_Dyn_TypeScheme :== 165 PD_Dyn_TypeScheme :== 165
PD_Dyn_TypeApp :== 166 PD_Dyn_TypeApp :== 166
PD_Dyn_TypeVar :== 167 PD_Dyn_TypeVar :== 167
PD_Dyn_TypePatternVar :== 168 // PD_Dyn_TypePatternVar :== 168
PD_Dyn_TypeCons :== 169 PD_Dyn_TypeCons :== 169
// unification // unification
PD_Dyn_UnificationEnvironment :== 170 PD_Dyn_UnificationEnvironment :== 170
......
...@@ -105,7 +105,7 @@ predefined_idents ...@@ -105,7 +105,7 @@ predefined_idents
[PD_Dyn_TypeApp] = i "TypeApp", [PD_Dyn_TypeApp] = i "TypeApp",
[PD_Dyn_TypeVar] = i "TypeVar", [PD_Dyn_TypeVar] = i "TypeVar",
[PD_Dyn_TypeCons] = i "TypeCons", [PD_Dyn_TypeCons] = i "TypeCons",
[PD_Dyn_TypePatternVar] = i "_TypePatternVar", // [PD_Dyn_TypePatternVar] = i "_TypePatternVar",
[PD_Dyn_UnificationEnvironment] = i "_UnificationEnvironment", [PD_Dyn_UnificationEnvironment] = i "_UnificationEnvironment",
[PD_Dyn_initial_unification_environment] = i "_initial_unification_environment", [PD_Dyn_initial_unification_environment] = i "_initial_unification_environment",
[PD_Dyn_bind_global_type_pattern_var] = i "_bind_global_type_pattern_var", [PD_Dyn_bind_global_type_pattern_var] = i "_bind_global_type_pattern_var",
...@@ -334,7 +334,7 @@ where ...@@ -334,7 +334,7 @@ where
<<- (local_predefined_idents, IC_Expression, PD_Dyn_TypeScheme) <<- (local_predefined_idents, IC_Expression, PD_Dyn_TypeScheme)
<<- (local_predefined_idents, IC_Expression, PD_Dyn_TypeApp) <<- (local_predefined_idents, IC_Expression, PD_Dyn_TypeApp)
<<- (local_predefined_idents, IC_Expression, PD_Dyn_TypeVar) <<- (local_predefined_idents, IC_Expression, PD_Dyn_TypeVar)
<<- (local_predefined_idents, IC_Expression, PD_Dyn_TypePatternVar) // <<- (local_predefined_idents, IC_Expression, PD_Dyn_TypePatternVar)
<<- (local_predefined_idents, IC_Expression, PD_Dyn_TypeCons) <<- (local_predefined_idents, IC_Expression, PD_Dyn_TypeCons)
<<- (local_predefined_idents, IC_Type, PD_Dyn_UnificationEnvironment) <<- (local_predefined_idents, IC_Type, PD_Dyn_UnificationEnvironment)
<<- (local_predefined_idents, IC_Expression, PD_Dyn_unify) <<- (local_predefined_idents, IC_Expression, PD_Dyn_unify)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment