Changeset 3998


Ignore:
Timestamp:
Oct 25, 2008, 5:08:26 PM (12 years ago)
Author:
yura
Message:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/java/refal/refal/plus/List2.rf

    r3997 r3998  
    177177$public $func SortBy t.cmpTerms e.list = e.list;
    178178SortBy t.cmpTerms e.list =
    179   <Length e.list> :: s.len,
    180   {
    181     <Le (s.len) (1)> = e.list;
    182     <Div s.len 2> :: s.k =
    183       <Merge t.cmpTerms (<SortBy t.cmpTerms <Left 0 s.k e.list>>) (<SortBy t.cmpTerms <Middle s.k 0 e.list>>)>;
     179  <Div <Length e.list> 2> : {
     180    0 = e.list;
     181    s.k = <Merge t.cmpTerms (<SortBy t.cmpTerms <Left 0 s.k e.list>>) (<SortBy t.cmpTerms <Middle s.k 0 e.list>>)>;
    184182  };
    185183
Note: See TracChangeset for help on using the changeset viewer.