Changeset 8a95629 for src/Tests

Timestamp:

Jun 10, 2015, 2:26:44 PM (11 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

b1d6dd5, b5c5684

Parents:

0b2961f

Message:

fix parsing error for syntax error message, work on regression testing

Location:

src/Tests

Files:

• ResolvExpr/Attributes.c (deleted)
• ResolvExpr/Forall.c (deleted)
• SynTree/Forall.c (modified) (1 diff)
• Syntax/Attributes.c (modified) (1 diff)

src/Tests/SynTree/Forall.c

@@ +1 @@
+int ?=?( int*, int );
+float ?=?( float*, float );
+int * ?=?( int **, int * );
+float * ?=?( float **, float * );
+char ?=?( char*, char );
+void (* ?=?( void (**)(void), void (*)(void) ))(void);
+
+void g1() {
+        forall( type T ) T f( T );
+        void f( int );
+        void h( void (*p)(void) );
+  
+        int x;
+        void (*y)(void);
+        char z;
+        float w;
+  
+        f( x );
+        f( y );
+        f( z );
+        f( w );
+        h( f( y ) );
+}
+
+void g2() {
+        forall( type T ) void f( T, T );
+        forall( type T, type U ) void f( T, U );
+  
+        int x;
+        float y;
+        int *z;
+        float *w;
+  
+        f( x, y );
+        f( z, w );
+        f( x, z );
+}
+
 typedef forall ( type T ) int (*f)( int );
 

src/Tests/Syntax/Attributes.c

@@ -21 +21 @@
     return 7;
 }
+
+int @voon;
+double @voon;
+
+int @bort(int);
+int @bort(double);
+
+void g( int );
+
+void f() {
+        float x;
+        double x;
+        @bort(x);
+        @bort(int);
+        g( @voon );
+}
+
+// Local Variables: //
+// tab-width: 4 //
+// End: //