diff options
| author | johnvg | 2002-03-04 14:35:18 +0000 |
|---|---|---|
| committer | johnvg | 2002-03-04 14:35:18 +0000 |
| commit | 84aff3c97f2d0f867e390b33c11161a30a808215 (patch) | |
| tree | ffd877f8e83b7a450b032c27336d4636dcd430a2 | |
| parent | Export proper new type of transformGroups (diff) | |
add missing case for TAS constructor (for strict lists)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1043 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/type.icl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/frontend/type.icl b/frontend/type.icl index 43c93d7..aa7f448 100644 --- a/frontend/type.icl +++ b/frontend/type.icl @@ -764,7 +764,9 @@ fresh_overloaded_list_type [{ap_symbol}:patterns] pd_cons_symbol pd_nil_symbol d (fun_type_copy,ts) = determineSymbolTypeOfFunction pos me_symb 1 me_type me_type_ptr common_defs ts {tst_args,tst_arity,tst_lifted,tst_result,tst_context,tst_attr_env}=fun_type_copy # result_type = case tst_args of [t] -> t - # argument_types = case tst_result.at_type of (TA _ args=:[arg1,arg2]) ->args + # argument_types = case tst_result.at_type of + TA _ args=:[arg1,arg2] -> args + TAS _ args=:[arg1,arg2] _ -> args = (argument_types,result_type,tst_context,tst_attr_env,ts) freshOverloadedListType :: !OverloadedListType !CoercionPosition ![AlgebraicPattern] !{#CommonDefs} !{#{#FunType }} !*TypeState -> (![[AType]],!AType,![TypeContext],![AttrCoercion],!*TypeState) |