Changeset 8d50e34 for doc/working

Timestamp:

Jun 12, 2017, 4:34:28 PM (7 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

46e4440e

Parents:

465ed18

Message:

Added the level of translation the shared code goes through in the exception translate.

File:

• doc/working/exception/translate.c (modified) (1 diff)

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 we will have
- * to have access to where the translations are preformed.
+ * 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.
  */
 
-// Currently it is a typedef for int, but later it will be the root of the
-// hierarchy and so have to be public.
+// Currently it is a typedef for int, but later it will be a new type.
 typedef int exception;
 
-// These might be given simpler names and made public.
 void __throw_terminate(exception except) __attribute__((noreturn));
 void __throw_resume(exception except);