aboutsummaryrefslogtreecommitdiff
path: root/frontend/overloading.dcl
diff options
context:
space:
mode:
authormartijnv2002-04-04 13:12:03 +0000
committermartijnv2002-04-04 13:12:03 +0000
commit23da0e0de329a5aca37db7602129e5aa57735a0d (patch)
tree00d6dd4caff3bc13ace646da354c474ea075cccd /frontend/overloading.dcl
parent* bug fix to correctly separate types without Clean definition from types which (diff)
- removed strictness annotations
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1072 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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