Changeset 289


Ignore:
Timestamp:
Dec 20, 2002, 2:50:55 PM (18 years ago)
Author:
orlov
Message:

* empty log message *

Location:
to-imperative/trunk/compiler
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/compiler/rfp_asail.rf

    r288 r289  
    135135    <Expr-Ref-To-CPP 0 e.expr-all>;
    136136  };   
    137   (PAREN e.expr) e.rest = <Expr-Ref-To-CPP 0 e.expr-all>;
    138   (EXPR e.expr) e.rest = <Expr-Ref-To-CPP 0 e.expr-all>;
    139   (DEREF e.expr) e.rest = <Expr-Ref-To-CPP 0 e.expr-all>;
    140   (SUBEXPR e.expr) e.rest = <Expr-Ref-To-CPP 0 e.expr-all>;
     137  (PAREN e.expr) e.rest = <Expr-Ref-To-CPP 0 e.init e.expr-all>;
     138  (EXPR e.expr) e.rest = <Expr-Ref-To-CPP 0 e.init e.expr-all>;
     139  (DEREF e.expr) e.rest = <Expr-Ref-To-CPP 0 e.init e.expr-all>;
     140  (SUBEXPR e.expr) e.rest = <Expr-Ref-To-CPP 0 e.init e.expr-all>;
    141141  (LENGTH e.expr) e.rest = <Expr-Int-To-CPP e.init e.expr-all> ;
    142142  (MAX e.args) e.rest = <Expr-Int-To-CPP e.init e.expr-all>;       
  • to-imperative/trunk/compiler/rfp_compile.rf

    r222 r289  
    111111  e.compiled-assignments (e.rest-collapses) (e.used-aux-vars);
    112112
    113 //$func? Empty-Varlist? (t.var t.Re (/*empty-var-list*/)) = ;
    114 $func? Empty-Varlist? e = e;
     113//$func? Independent? e.collapses (t.var t.Re t.collapsed-vars) = ;
     114$func? Independent? e = e;
    115115
    116116//$func Remove-Independ e.independ (t.var t.Re (e.var-list)) =
     
    348348  e.something (e.expr) =
    349349    <Post-Comp (e.used-vars) e.expr> :: (e.expr-vars) e.expr,
    350     <Post-Comp (<Or (e.used-vars) e.expr>) e.something> (e.expr);
     350    <Post-Comp (<Or (e.used-vars) e.expr-vars>) e.something> (e.expr);
    351351  e.something s.symbol = <Post-Comp (e.used-vars) e.something> s.symbol;
    352352  /*empty*/ = (e.used-vars);
     
    736736 */
    737737Comp-Ready-Formats e.collapses =
    738   <Split &Empty-Varlist? (e.collapses)> :: (e.independ) (e.collapses),
     738  <Split &Independent? e.collapses (e.collapses)> :: (e.independ) (e.collapses),
    739739  <Map &Get-Elem 0 (e.independ)> :: e.indep-vars,
    740740  <Map &Remove-Independ e.indep-vars (e.collapses)> :: e.collapses,
     
    743743  (<Concat <Map &Get-Aux-Indexes (e.collapses)>>);
    744744
    745 Empty-Varlist? (t.var t.Re (/*empty-var-list*/)) = ;
     745Independent? e.collapses (t.var t.Re t.collapsed-vars) =
     746  # \{ e.collapses : e (t t (e t.var e)) e; };
    746747
    747748Remove-Independ e.independ (t.var t.Re (e.var-list)) =
Note: See TracChangeset for help on using the changeset viewer.