diff options
| author | martinw | 2000-09-20 14:13:30 +0000 |
|---|---|---|
| committer | martinw | 2000-09-20 14:13:30 +0000 |
| commit | b452e8455dd8a214faf2473f4b64e6d1e4e4678f (patch) | |
| tree | 9d8e9ab54483e15738caad2d4d379740f21d131b /frontend | |
| parent | new Bag type: :: Bag x = Pair (Bag x) (Bag x) | Single x | Empty (diff) | |
improving bufix from revision 1.39
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@217 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/trans.icl | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/frontend/trans.icl b/frontend/trans.icl index 8045b0b..2047af6 100644 --- a/frontend/trans.icl +++ b/frontend/trans.icl @@ -1793,15 +1793,10 @@ transformSelection No s=:[RecordSelection _ field_index : selectors] = ro.ro_common_defs.[glob_module].com_cons_defs.[glob_object] | isEmpty [i \\ {at_annotation=AN_Strict} <- cons_def.cons_type.st_args & i<-[0..] | i<>field_index] - = transform_selections selectors (app_args !! field_index) ti + = transformSelection No selectors (app_args !! field_index) ro ti = (Selection No app s, ti) -where - transform_selections [] expr ti - = (expr, ti) - transform_selections [RecordSelection _ field_index : selectors] (App {app_symb={symb_kind= SK_Constructor _ }, app_args}) ti - = transform_selections selectors (app_args !! field_index) ti - transform_selections selectors expr ti - = (Selection No expr selectors, ti) +transformSelection No [] expr ro ti + = (expr, ti) transformSelection opt_type selectors expr _ ti = (Selection opt_type expr selectors, ti) |