aboutsummaryrefslogtreecommitdiff
path: root/frontend/overloading.dcl
diff options
context:
space:
mode:
authorronny2003-08-19 14:46:09 +0000
committerronny2003-08-19 14:46:09 +0000
commitd133d3d14a49b286183027196cf7a64e6b2f62b5 (patch)
tree0b8d431c8847a6dfea8f1024d5aba4b0d80090bf /frontend/overloading.dcl
parentremoved unused global type codes arguments (diff)
removed unused administrations
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1370 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/overloading.dcl')
-rw-r--r--frontend/overloading.dcl8
1 files changed, 1 insertions, 7 deletions
diff --git a/frontend/overloading.dcl b/frontend/overloading.dcl
index d89baac..3435fba 100644
--- a/frontend/overloading.dcl
+++ b/frontend/overloading.dcl
@@ -22,9 +22,6 @@ import syntax, check, typesupport
, si_array_instances :: ![ArrayInstance]
, si_list_instances :: ![ArrayInstance]
, si_tail_strict_list_instances :: ![ArrayInstance]
- , si_next_TC_member_index :: !Index
- , si_TC_instances :: ![GlobalTCInstance]
- , si_type_constructors_in_patterns :: ![Index]
}
:: OverloadingState =
@@ -44,13 +41,10 @@ tryToSolveOverloading :: ![(Optional [TypeContext], [ExprInfoPtr], IdentPos, Ind
-> (![TypeContext], !*Coercions, ![LocalTypePatternVariable], DictionaryTypes, !*OverloadingState)
:: TypeCodeInfo =
- { tci_next_index :: !Index
- , tci_instances :: ![GlobalTCInstance]
- , tci_type_var_heap :: !.TypeVarHeap
+ { tci_type_var_heap :: !.TypeVarHeap
, tci_attr_var_heap :: !.AttrVarHeap
, tci_dcl_modules :: !{# DclModule}
, tci_common_defs :: !{# CommonDefs }
- , tci_type_constructors_in_patterns :: ![Index]
}
removeOverloadedFunctions :: ![Index] ![LocalTypePatternVariable] !Int !*{#FunDef} !*{! FunctionType} !*ExpressionHeap