Changes in tests/exceptions/interact.cfa [3bf9d10:d00d581]

File:

• tests/exceptions/interact.cfa (modified) (8 diffs)

tests/exceptions/interact.cfa

@@ -1 +1 @@
 // Testing Interactions Between Termination and Resumption
 
-#include <fstream.hfa>
 #include "except-io.hfa"
 
@@ -15 +14 @@
                 throwResume (star){&star_vt};
         } catch (star *) {
-                sout | "caught as termination";
+                printf("caught as termination\n");
         }
         // Variant of the above to check timing.
@@ -22 +21 @@
                 throwResume (star){&star_vt};
         } catch (star *) {
-                sout | "caught as termination";
+                printf("caught as termination\n");
         } catchResume (star *) {
-                sout | "intermediate rethrow";
+                printf("intermediate rethrow\n");
                 throwResume;
         }
-        sout | nl;
+        printf("\n");
 
         // Resume does not catch terminate.
@@ -34 +33 @@
                         throw (star){&star_vt};
                 } catchResume (star *) {
-                        sout | "resume catch on terminate";
+                        printf("resume catch on terminate\n");
                 }
         } catchResume (star *) {
-                sout | "resume catch on terminate";
+                printf("resume catch on terminate\n");
         } catch (star *) {
-                sout | "terminate catch on terminate";
+                printf("terminate catch on terminate\n");
         }
-        sout | nl;
+        printf("\n");
 
         // Terminate does not catch resume.
@@ -48 +47 @@
                         throwResume (star){&star_vt};
                 } catch (star *) {
-                        sout | "terminate catch on resume";
+                        printf("terminate catch on resume\n");
                 }
         } catch (star *) {
-                sout | "terminate catch on resume";
+                printf("terminate catch on resume\n");
         } catchResume (star *) {
-                sout | "resume catch on resume";
+                printf("resume catch on resume\n");
         }
-        sout | nl;
+        printf("\n");
 
         // Resume a termination exception.
@@ -63 +62 @@
                                 throw (star){&star_vt};
                         } catchResume (star *) {
-                                sout | "inner resume catch (error)";
+                                printf("inner resume catch (error)\n");
                         }
                 } catch (star * error) {
-                        sout | "termination catch, will resume";
+                        printf("termination catch, will resume\n");
                         throwResume *error;
                 }
         } catchResume (star *) {
-                sout | "outer resume catch";
+                printf("outer resume catch\n");
         }
-        sout | nl;
+        printf("\n");
 
         // Terminate a resumption exception.
@@ -80 +79 @@
                                 throwResume (star){&star_vt};
                         } catch (star *) {
-                                sout | "inner termination catch";
+                                printf("inner termination catch\n");
                         }
                 } catchResume (star * error) {
-                        sout | "resumption catch, will terminate";
+                        printf("resumption catch, will terminate\n");
                         throw *error;
                 }
         } catch (star *) {
-                sout | "outer terminate catch (error)";
+                printf("outer terminate catch (error)\n");
         }
-        sout | nl;
+        printf("\n");
 
         // Unwinding a resumption catch does not break the system.
@@ -96 +95 @@
                         try {
                                 try {
-                                        sout | "throwing resume moon";
+                                        printf("throwing resume moon\n");
                                         throwResume (moon){&moon_vt};
                                 } catch (star *) {
-                                        sout | "termination catch";
+                                        printf("termination catch\n");
                                 }
-                                sout | "throwing resume star";
+                                printf("throwing resume star\n");
                                 throwResume (star){&star_vt};
                         } catchResume (star *) {
-                                sout | "resumption star catch";
+                                printf("resumption star catch\n");
                         }
                 } catchResume (moon *) {
-                        sout | "resumption moon catch, will terminate";
+                        printf("resumption moon catch, will terminate\n");
                         throw (star){&star_vt};
                 }
         } catchResume (star *) {
-                sout | "outermost catch (error)";
+                printf("outermost catch (error)\n");
         }
 }