Ignore:
Timestamp:
May 26, 2003, 7:07:36 PM (18 years ago)
Author:
orlov
Message:
  • Code formatting.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/samples/select2.rf

    r432 r760  
    66$func? Sel    (eXs) eSets = (eXs);
    77
    8 Main =   /*<PrintLN <Time>>,*/
    9          <MkArg "1234567890ab"> :: e.Arg,
    10          <PrintLN e.Arg>,
    11          <Select () e.Arg> :: e.Res,
    12          <PrintLN e.Res>,
    13          /*<PrintLN <Time>>*/;
     8Main =
     9  /*<PrintLN <Time>>,*/
     10  <MkArg '1234567890ab'> :: e.Arg,
     11  <PrintLN e.Arg>,
     12  <Select () e.Arg> :: e.Res,
     13  <PrintLN e.Res>,
     14  /*<PrintLN <Time>>*/;
    1415
    1516MkArg e.String = * e.Prefixes
    16    ( ) (e.String) $iter{
    17       e.Prefix : e.Prefix-- s =
    18         (e.Prefixes (e.Prefix)) (e.Prefix--) ;
    19    } :: (e.Prefixes)            (e.Prefix),
    20    e.Prefix : /*empty*/
     17  ( ) (e.String) $iter {
     18    e.Prefix : e.Prefix-- s =
     19      (e.Prefixes (e.Prefix)) (e.Prefix--) ;
     20  } :: (e.Prefixes) (e.Prefix),
     21  e.Prefix : /*empty*/
    2122   = e.Prefixes;
    2223
    2324Select (e.Xs) e.Sets = * e.Xs-or-sFail -- (eXs') or '*'
    24    {  <Sel (e.Xs) e.Sets>;
    25       '*';
    26    };
     25  {
     26    <Sel (e.Xs) e.Sets>;
     27    '*';
     28  };
    2729
    2830Sel (e.Xs) e.Sets = * (eXs) | $fail;
    29    e.Sets : \{
    30            /*empty*/ = (e.Xs);
     31  e.Sets : \{
     32    /*empty*/ = (e.Xs);
    3133
    32       (e.Set) e.Sets--,
    33               e.Set : e sX e,
    34          #\{e.Xs : e s.X e;},
    35          <Sel (e.Xs sX) e.Sets-->;
    36    };
     34    (e.Set) e.Sets--,
     35      e.Set : e sX e,
     36      # \{ e.Xs : e s.X e; },
     37      <Sel (e.Xs sX) e.Sets-->;
     38  };
Note: See TracChangeset for help on using the changeset viewer.