diff options
| author | johnvg | 2011-04-19 11:37:59 +0000 |
|---|---|---|
| committer | johnvg | 2011-04-19 11:37:59 +0000 |
| commit | d0ae22e4b794606ef99dc124b8b40a93cc24f9ba (patch) | |
| tree | e880d814aef67ca23e44808a4b30f054606dbc13 /frontend/frontend.icl | |
| parent | add instance declarations with a qualified class name (diff) | |
use unique array select and update instead of replace
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1930 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/frontend.icl')
| -rw-r--r-- | frontend/frontend.icl | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/frontend/frontend.icl b/frontend/frontend.icl index b937148..b961fa6 100644 --- a/frontend/frontend.icl +++ b/frontend/frontend.icl @@ -284,16 +284,16 @@ frontEndInterface options mod_ident search_paths cached_dcl_modules cached_dcl_m clear_group_indices_of_macros :: !*{#*{#FunDef}} -> *{#*{#FunDef}} clear_group_indices_of_macros cached_dcl_macros - = clear_group_indices1 0 {} cached_dcl_macros + = clear_group_indices1 0 cached_dcl_macros where - clear_group_indices1 :: !Int !*{#FunDef} !*{#*{#u:FunDef}} -> *{#*{#FunDef}} - clear_group_indices1 i dummy cached_dcl_macros + clear_group_indices1 :: !Int !*{#*{#u:FunDef}} -> *{#*{#FunDef}} + clear_group_indices1 i cached_dcl_macros | i==size cached_dcl_macros = cached_dcl_macros - # (cached_dcl_macros_i,cached_dcl_macros) = replace cached_dcl_macros i dummy + # (cached_dcl_macros_i,cached_dcl_macros) = cached_dcl_macros![i] # cached_dcl_macros_i = clear_group_indices2 0 cached_dcl_macros_i - # (dummy,cached_dcl_macros) = replace cached_dcl_macros i cached_dcl_macros_i - = clear_group_indices1 (i+1) dummy cached_dcl_macros + # cached_dcl_macros = {cached_dcl_macros & [i]=cached_dcl_macros_i} + = clear_group_indices1 (i+1) cached_dcl_macros clear_group_indices2 j cached_dcl_macros_i | j==size cached_dcl_macros_i |