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/select.rf

    r432 r760  
    66$func  OneOf  (eXs) sX = sBool-T-or-F;
    77
    8 Main =   /*<PrintLN <Time>>,*/
    9          <MkArg "1234567890ab"> :: e.Prefixes,
    10          <PrintLN e.Prefixes>,
    11          <Select () e.Prefixes> :: eXs-or-sFail,
    12          <PrintLN eXs-or-sFail>,
    13          //<PrintLN  t.StartTime>,
    14          /*<PrintLN <Time>>*/;
     8Main = /*<PrintLN <Time>>,*/
     9  <MkArg '1234567890ab'> :: e.Prefixes,
     10  <PrintLN e.Prefixes>,
     11  <Select () e.Prefixes> :: eXs-or-sFail,
     12  <PrintLN eXs-or-sFail>,
     13  //<PrintLN  t.StartTime>,
     14  /*<PrintLN <Time>>*/;
    1515
    1616MkArg e.String = * e.Prefixes
    17    e.String:
    18       e.String-- s = (e.String) <MkArg e.String-->;
    19            /* empty */  = ;
    20         };
     17  e.String :
     18    e.String-- s = (e.String) <MkArg e.String-->;
     19    /* empty */  = ;
     20  };
    2121
    2222Select (e.Xs) e.Sets = * e.Xs-or-sFail -- (eXs) or '*'
    23    e.Sets : {
    24            /*empty*/ = (e.Xs);
     23  e.Sets : {
     24    /*empty*/ = (e.Xs);
    2525
    26       (e.Set) e.Sets--,
    27               e.Set : e sX e,
    28          <OneOf (e.Xs) sX> : F,
    29          <Select (e.Xs sX) e.Sets--> : (e.Xs-) = (e.Xs-);
     26    (e.Set) e.Sets--,
     27      e.Set : e sX e,
     28      <OneOf (e.Xs) sX> : F,
     29      <Select (e.Xs sX) e.Sets--> : (e.Xs-) = (e.Xs-);
    3030
    31            e = '+';
    32    };
     31    e = '+';
     32  };
    3333
    3434OneOf (e.Xs) s.X =
    35    e.Xs : {
    36            e sX e = T;
     35  e.Xs : {
     36    e sX e = T;
    3737
    38            e      = F;
    39    };
     38    e      = F;
     39  };
Note: See TracChangeset for help on using the changeset viewer.