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

    r432 r760  
    99
    1010
    11 Main =   /*<PrintLN <Time>>,*/
    12          <MkArg "1234567890ab"> :: e.Arg,
    13          <PrintLN e.Arg>,
    14          <Select e.Arg> :: e.Res,
    15          <PrintLN e.Res>,
    16          /*<PrintLN <Time>>*/;
     11Main =
     12  /*<PrintLN <Time>>,*/
     13  <MkArg '1234567890ab'> :: e.Arg,
     14  <PrintLN e.Arg>,
     15  <Select e.Arg> :: e.Res,
     16  <PrintLN e.Res>,
     17  /*<PrintLN <Time>>*/;
    1718
    1819MkArg e.String = * e.Prefixes
    19    ( ) (e.String) $iter{
    20       e.Prefix : e.Prefix-- s =
    21         (e.Prefixes (e.Prefix)) (e.Prefix--) ;
    22    } :: (e.Prefixes)            (e.Prefix),
    23    e.Prefix : /*empty*/
     20  ( ) (e.String) $iter {
     21    e.Prefix : e.Prefix-- s =
     22      (e.Prefixes (e.Prefix)) (e.Prefix--) ;
     23  } :: (e.Prefixes) (e.Prefix),
     24  e.Prefix : /*empty*/
    2425   = e.Prefixes;
    2526
    2627Select e.Sets = * e.Xs-or-sFail -- (eXs') or '*'
    27    {  <Sel () e.Sets>::(e.Xs)
    28         = (<Stack2Exp e.Xs>);
    29       '*';
    30    };
     28  {
     29    <Sel () e.Sets> :: (e.Xs) = (<Stack2Exp e.Xs>);
     30    '*';
     31  };
    3132
    3233Sel (e.Xs) e.Sets = * (eXs) | $fail;
    33    e.Sets : \{
    34            /*empty*/ = (e.Xs);
     34  e.Sets : \{
     35    /*empty*/ = (e.Xs);
    3536
    36       (e.Set) e.Sets--,
    37               e.Set : e sX e,
    38          #<InStack e.Xs s.X>,
    39          <Sel (s.X (e.Xs)) e.Sets-->;
    40    };
     37    (e.Set) e.Sets--,
     38      e.Set : e sX e,
     39      #<InStack e.Xs s.X>,
     40      <Sel (s.X (e.Xs)) e.Sets-->;
     41  };
    4142
    4243InStack e.Xs s.X =               * /*empty*/ | $false;
    43   e.Xs: s.Y (e.Xs--),
    44   \{  s.Y : s.X;
    45       <InStack e.Xs-- s.X>;
     44  e.Xs : s.Y (e.Xs--),
     45  \{
     46    s.Y : s.X;
     47    <InStack e.Xs-- s.X>;
    4648  };
    4749 
    4850Stack2Exp e.Xs =                 * e.ExpXs
    49    e.Xs : {
    50       /* empty */
    51          = /* empty */;
    52       s.Y (e.Xs--)
    53          = <Stack2Exp e.Xs--> s.Y;
    54    };
     51  e.Xs : {
     52    /* empty */ = /* empty */;
     53    s.Y (e.Xs--) = <Stack2Exp e.Xs--> s.Y;
     54  };
Note: See TracChangeset for help on using the changeset viewer.