diff options
| author | johnvg | 2007-08-21 10:39:15 +0000 |
|---|---|---|
| committer | johnvg | 2007-08-21 10:39:15 +0000 |
| commit | 2b010d1e7088c75e8d2bf844eeec0930b7f6f094 (patch) | |
| tree | 81a31ea41858f9f39118e77dba4541510e6b818a /frontend/postparse.icl | |
| parent | remove VI_Defined and VI_LocallyDefined because they are not used anymore (diff) | |
make elements of array generators unique (for arrays with unique elements)
by using a unique selection with unique result, instead of "uselect"
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1680 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/postparse.icl')
| -rw-r--r-- | frontend/postparse.icl | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/frontend/postparse.icl b/frontend/postparse.icl index adb3cb5..547fe3f 100644 --- a/frontend/postparse.icl +++ b/frontend/postparse.icl @@ -440,7 +440,6 @@ transformGenerator {gen_kind=IsArrayGenerator, gen_expr, gen_pattern, gen_positi less_or_equal = get_predef_id PD_LessOrEqualFun sub = get_predef_id PD_SubFun usize = get_predef_id PD_UnqArraySizeFun - uselect = get_predef_id PD_UnqArraySelectFun pattern = PE_Tuple [gen_pattern, array] = case index_generator of No @@ -453,7 +452,7 @@ transformGenerator {gen_kind=IsArrayGenerator, gen_expr, gen_pattern, gen_positi , tg_lhs_arg = [i, n, array] , tg_case_end_expr = PE_List [i,PE_Ident less_or_equal, n] , tg_case_end_pattern = PE_Basic (BVB True) - , tg_element = PE_List [PE_Ident uselect, array, i] + , tg_element = PE_Selection (ParsedUniqueSelector True) array [PS_Array i] , tg_element_is_uselect=True , tg_pattern = pattern , tg_rhs_continuation = [PE_List [PE_Ident inc, i], n, array] @@ -469,7 +468,7 @@ transformGenerator {gen_kind=IsArrayGenerator, gen_expr, gen_pattern, gen_positi , tg_lhs_arg = [n,array] , tg_case_end_expr = PE_List [i,PE_Ident less_or_equal, n] , tg_case_end_pattern = PE_Basic (BVB True) - , tg_element = PE_List [PE_Ident uselect, array, i] + , tg_element = PE_Selection (ParsedUniqueSelector True) array [PS_Array i] , tg_element_is_uselect=True , tg_pattern = pattern , tg_rhs_continuation = [n,array] @@ -482,7 +481,7 @@ transformGenerator {gen_kind=IsArrayGenerator, gen_expr, gen_pattern, gen_positi , tg_lhs_arg = [array] , tg_case_end_expr = PE_Empty , tg_case_end_pattern = PE_Empty - , tg_element = PE_List [PE_Ident uselect, array, i] + , tg_element = PE_Selection (ParsedUniqueSelector True) array [PS_Array i] , tg_element_is_uselect=True , tg_pattern = pattern , tg_rhs_continuation = [array] |