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

    r432 r760  
    66$func? OneOf  (eXs) sX = ;
    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          //<Timer-BegProc " End ">::t,
    14          /*<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  //<Timer-BegProc " End ">::t,
     15  /*<PrintLN <Time>>*/;
     16
    1517MkArg 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*/
    21    = e.Prefixes;
     18  ( ) (e.String) $iter {
     19    e.Prefix : e.Prefix-- s =
     20      (e.Prefixes (e.Prefix)) (e.Prefix--) ;
     21  } :: (e.Prefixes) (e.Prefix),
     22  e.Prefix : /*empty*/
     23  = e.Prefixes;
    2224
    2325Select (e.Xs) e.Sets = * e.Xs-or-sFail -- (eXs) or '*'
    24    e.Sets : {
    25            /*empty*/ = (e.Xs);
     26  e.Sets : {
     27    /*empty*/ = (e.Xs);
    2628
    27       (e.Set) e.Sets--,
    28               e.Set : e sX e,
    29          #<OneOf (e.Xs) sX>,
    30          <Select (e.Xs sX) e.Sets--> : (e.Xs-) = (e.Xs-);
     29    (e.Set) e.Sets--,
     30      e.Set : e sX e,
     31      #<OneOf (e.Xs) sX>,
     32      <Select (e.Xs sX) e.Sets--> : (e.Xs-) = (e.Xs-);
    3133
    32            e = '*';
     34    e = '*';
    3335   };
    3436
    3537OneOf (e.Xs) s.X = */
    3638   e.Xs : e s.X e;
     39
Note: See TracChangeset for help on using the changeset viewer.