aboutsummaryrefslogtreecommitdiff
path: root/frontend/overloading.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/overloading.dcl')
-rw-r--r--frontend/overloading.dcl4
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/overloading.dcl b/frontend/overloading.dcl
index 2d29e6c..9bcec75 100644
--- a/frontend/overloading.dcl
+++ b/frontend/overloading.dcl
@@ -24,7 +24,7 @@ import syntax, check, typesupport
, si_tail_strict_list_instances :: ![ArrayInstance]
, si_next_TC_member_index :: !Index
, si_TC_instances :: ![GlobalTCInstance]
- , si_type_constructors_in_patterns :: ![!Index]
+ , si_type_constructors_in_patterns :: ![Index]
}
:: OverloadingState =
@@ -48,7 +48,7 @@ tryToSolveOverloading :: ![(Optional [TypeContext], [ExprInfoPtr], IdentPos, Ind
, tci_instances :: ![GlobalTCInstance]
, tci_type_var_heap :: !.TypeVarHeap
, tci_dcl_modules :: !{# DclModule}
- , tci_type_constructors_in_patterns :: ![!Index]
+ , tci_type_constructors_in_patterns :: ![Index]
}
removeOverloadedFunctions :: ![Index] ![LocalTypePatternVariable] !Int !*{#FunDef} !*{! FunctionType} !*ExpressionHeap