Changeset 760 for to-imperative/trunk/samples/select.rf

Timestamp:

May 26, 2003, 7:07:36 PM (18 years ago)

Author:

orlov

Message:

• Code formatting.

File:

• to-imperative/trunk/samples/select.rf (modified) (1 diff)

to-imperative/trunk/samples/select.rf

@@ -6 +6 @@
 $func  OneOf  (eXs) sX = sBool-T-or-F;
 
-Main =   /*<PrintLN <Time>>,*/ 
-         <MkArg "1234567890ab"> :: e.Prefixes,
-         <PrintLN e.Prefixes>,
-         <Select () e.Prefixes> :: eXs-or-sFail,
-         <PrintLN eXs-or-sFail>,
-         //<PrintLN  t.StartTime>,
-         /*<PrintLN <Time>>*/;
+Main = /*<PrintLN <Time>>,*/ 
+  <MkArg '1234567890ab'> :: e.Prefixes,
+  <PrintLN e.Prefixes>,
+  <Select () e.Prefixes> :: eXs-or-sFail,
+  <PrintLN eXs-or-sFail>,
+  //<PrintLN  t.StartTime>,
+  /*<PrintLN <Time>>*/;
 
 MkArg e.String = * e.Prefixes
-   e.String:{  
-      e.String-- s = (e.String) <MkArg e.String-->;
-           /* empty */  = ;
-        };
+  e.String : {  
+    e.String-- s = (e.String) <MkArg e.String-->;
+    /* empty */  = ;
+  };
 
 Select (e.Xs) e.Sets = * e.Xs-or-sFail -- (eXs) or '*'
-   e.Sets : {
-           /*empty*/ = (e.Xs);
+  e.Sets : {
+    /*empty*/ = (e.Xs);
 
-      (e.Set) e.Sets--,
-              e.Set : e sX e, 
-         <OneOf (e.Xs) sX> : F, 
-         <Select (e.Xs sX) e.Sets--> : (e.Xs-) = (e.Xs-);
+    (e.Set) e.Sets--,
+      e.Set : e sX e, 
+      <OneOf (e.Xs) sX> : F, 
+      <Select (e.Xs sX) e.Sets--> : (e.Xs-) = (e.Xs-);
 
-           e = '+';
-   };
+    e = '+';
+  };
 
 OneOf (e.Xs) s.X =
-   e.Xs : {
-           e sX e = T;
+  e.Xs : {
+    e sX e = T;
 
-           e      = F;
-   };
+    e      = F;
+  };