diff options
| author | martijnv | 2002-04-04 13:12:03 +0000 |
|---|---|---|
| committer | martijnv | 2002-04-04 13:12:03 +0000 |
| commit | 23da0e0de329a5aca37db7602129e5aa57735a0d (patch) | |
| tree | 00d6dd4caff3bc13ace646da354c474ea075cccd /frontend | |
| 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')
| -rw-r--r-- | frontend/overloading.dcl | 4 | ||||
| -rw-r--r-- | frontend/overloading.icl | 4 |
2 files changed, 4 insertions, 4 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 diff --git a/frontend/overloading.icl b/frontend/overloading.icl index afb4230..1e6f6c9 100644 --- a/frontend/overloading.icl +++ b/frontend/overloading.icl @@ -50,7 +50,7 @@ import genericsupport, compilerSwitches, type_io_common , 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] } :: LocalTypePatternVariable = @@ -1297,7 +1297,7 @@ getTCDictionary symb_name var_info_ptr (var_heap, error) , tci_instances :: ![GlobalTCInstance] , tci_type_var_heap :: !.TypeVarHeap , tci_dcl_modules :: !{# DclModule} - , tci_type_constructors_in_patterns :: ![!Index] + , tci_type_constructors_in_patterns :: ![Index] } class toTypeCodeExpression type :: !Ident type !(!*TypeCodeInfo,!*VarHeap,!*ErrorAdmin) -> (!TypeCodeExpression, !(!*TypeCodeInfo,!*VarHeap,!*ErrorAdmin)) |