Changeset fd54fef for tests/exceptions

Timestamp:

Jan 19, 2021, 8:44:29 PM (4 years ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

dafbde8

Parents:

2f47ea4

Message:

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.

Location:

tests/exceptions

Files:

• defaults.cfa (modified) (1 diff)
• polymorphic.cfa (modified) (2 diffs)
• virtual-poly.cfa (modified) (2 diffs)

tests/exceptions/defaults.cfa ¶

@@ -55 +55 @@
 
 void unhandled_test(void) {
-        forall(dtype T, dtype V | is_exception(T, V))
+        forall(T &, V & | is_exception(T, V))
         void defaultTerminationHandler(T &) {
                 throw (unhandled_exception){};

tests/exceptions/polymorphic.cfa ¶

@@ -3 +3 @@
 #include <exception.hfa>
 
-FORALL_TRIVIAL_EXCEPTION(proxy, (otype T), (T));
-FORALL_TRIVIAL_INSTANCE(proxy, (otype U), (U))
+FORALL_TRIVIAL_EXCEPTION(proxy, (T), (T));
+FORALL_TRIVIAL_INSTANCE(proxy, (U), (U))
 
 const char * msg(proxy(int) * this) { return "proxy(int)"; }
@@ -33 +33 @@
 }
 
-FORALL_DATA_EXCEPTION(cell, (otype T), (T))(
+FORALL_DATA_EXCEPTION(cell, (T), (T))(
         T data;
 );
 
-FORALL_DATA_INSTANCE(cell, (otype T), (T))
+FORALL_DATA_INSTANCE(cell, (T), (T))
 
 const char * msg(cell(int) * this) { return "cell(int)"; }

tests/exceptions/virtual-poly.cfa ¶

@@ -16 +16 @@
 };
 
-forall(otype T)
+forall(T)
 struct mono_child_vtable {
         mono_base_vtable const * const parent;
 };
 
-forall(otype T)
+forall(T)
 struct mono_child {
         mono_child_vtable(T) const * virtual_table;
@@ -37 +37 @@
 }
 
-forall(otype U)
+forall(U)
 struct poly_base_vtable {
         poly_base_vtable(U) const * const parent;
 };
 
-forall(otype U)
+forall(U)
 struct poly_base {
         poly_base_vtable(U) const * virtual_table;
 };
 
-forall(otype V)
+forall(V)
 struct poly_child_vtable {
         poly_base_vtable(V) const * const parent;
 };
 
-forall(otype V)
+forall(V)
 struct poly_child {
         poly_child_vtable(V) const * virtual_table;