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

File:

• src/Tests/Attributes.c (modified) (1 diff)

src/Tests/Attributes.c

@@ -1 @@
-// I Compile-time resolution
-// =========================
-// 
-// 1. an isolated name, where the argument is implicitly determined by the result context
-// 
-//    @max
-// 
-// 2. a direct application to a manifest type
-// 
-//    @max( int )
-// 
-// 3. constraining a type variable; the application is implicitly performed at the call site as in (2)
-// 
-//    forall( type T | { T @max( T ); } ) T x( T t );
-// 
-// 
-// II Run-time resolution
-// ======================
-// 
-// 1. an indirect reference, where the argument is implicitly determined by the result context
-// 
-//    attr_var = &@max;
-//    x = (*attr_var);
-// 
-// 2. an indirect application to a manifest type
-// 
-//    (*attr_var)( int )
-// 
-// 3. a direct application to a type variable
-// 
-//    @max( T )
-// 
-// Under what circumstances can this be done at compile/link time?
-// 
-// 
-// III Declaration forms
-// =====================
-// 
-// 1. monomorphic with implicit argument
-// 
-//    int @max;
-// 
-// 2. monomorphic with explicit argument
-// 
-//    int @max( int );
-// 
-// 3. polymorphic
-// 
-//    forall( type T | constraint( T ) ) int @attr( T );
-
 int @max = 3;
 
 int main() {
     int x;
-    type @type(type t);                                                                 // compiler intrinsic
+    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
+    @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);