Changeset 760


Ignore:
Timestamp:
May 26, 2003, 7:07:36 PM (18 years ago)
Author:
orlov
Message:
  • Code formatting.
Location:
to-imperative/trunk/samples
Files:
5 edited

Legend:

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

    r432 r760  
    1010      $fail;
    1111    =
    12       /*<PrintLN e1>*/
     12//      <PrintLN e1>
    1313    ;
    1414  };;
  • 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  };
  • 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
  • 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  };
  • 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.