Changes in src/Tests/Attributes.c [55ba7339:68cd1ce]

File:

• src/Tests/Attributes.c (modified) (4 diffs)

src/Tests/Attributes.c

@@ -6 +6 @@
 //    @max
 // 
-// 2. a direct application to a manifest otype
+// 2. a direct application to a manifest type
 // 
 //    @max( int )
 // 
-// 3. constraining a otype variable; the application is implicitly performed at the call site as in (2)
+// 3. constraining a type variable; the application is implicitly performed at the call site as in (2)
 // 
-//    forall( otype T | { T @max( T ); } ) T x( T t );
+//    forall( type T | { T @max( T ); } ) T x( T t );
 // 
 // 
@@ -23 +23 @@
 //    x = (*attr_var);
 // 
-// 2. an indirect application to a manifest otype
+// 2. an indirect application to a manifest type
 // 
 //    (*attr_var)( int )
 // 
-// 3. a direct application to a otype variable
+// 3. a direct application to a type variable
 // 
 //    @max( T )
@@ -47 +47 @@
 // 3. polymorphic
 // 
-//    forall( otype T | constraint( T ) ) int @attr( T );
+//    forall( type T | constraint( T ) ) int @attr( T );
 
 int @max = 3;
@@ -53 +53 @@
 int main() {
     int x;
-    otype @otype(otype t);                                                                      // compiler intrinsic
-    otype @widest(otype t);
-    @otype(x) *y;                                                                               // gcc: otypeof(x) *y;
-    const @widest(double) *w;                                                   // gcc: const otypeof(x) *w;
-    * @otype(3 + 4) z;                                                                  // cfa declaration syntax
+    type @type(type t);                                                                 // compiler intrinsic
+    type @widest(type t);
+    @type(x) *y;                                                                                // gcc: typeof(x) *y;
+    const @widest(double) *w;                                                   // gcc: const typeof(x) *w;
+    * @type(3 + 4) z;                                                                   // cfa declaration syntax
     y = @max;           
     z = @max(x) + @size(int);