Changes in doc/working/exception/translate.c [35ba584c:465ed18]

File:

• doc/working/exception/translate.c (modified) (3 diffs)

doc/working/exception/translate.c

@@ -2 +2 @@
  *
  * Note that these are not final. Names, syntax and the exact translation
- * will be updated. The first section is the shared definitions, not generated
- * by the local translations but used by the translated code.
- *
- * Most of these exist only after translation (in C code). The first (the
- * exception type) has to exist in Cforall code so that it can be used
- * directly in Cforall. The two __throw_* functions might have wrappers in
- * Cforall, but the underlying functions should probably be C. struct
- * stack_exception_data has to exist inside of the coroutine data structures
- * and so should be compiled as they are.
+ * will be updated. The first section is the shared definitions we will have
+ * to have access to where the translations are preformed.
  */
 
-// Currently it is a typedef for int, but later it will be a new type.
+// Currently it is a typedef for int, but later it will be the root of the
+// hierarchy and so have to be public.
 typedef int exception;
 
+// These might be given simpler names and made public.
 void __throw_terminate(exception except) __attribute__((noreturn));
 void __throw_resume(exception except);
@@ -54 +49 @@
 
 __throw_resume(exception_instance);
-
-
-
-// Rethrows (inside matching handlers):
-"Cforall"
-
-throw;
-
-resume;
-
-"C"
-
-__rethrow_terminate();
-
-return false;
 
 
@@ -252 +232 @@
                 }
                 void finally1() {
-                        // Finally, because of timing, also works for resume.
-                        // However this might not actually be better in any way.
+                        // (Finally, because of timing, also work for resume.)
                         __try_resume_cleanup();