source: tests/zombies/Rank2.c @ fd54fef

arm-ehjacob/cs343-translationnew-ast-unique-expr
Last change on this file since fd54fef was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 11 months ago

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.

  • Property mode set to 100644
File size: 324 bytes
Line 
1int ?=?( int &, int );
2forall(DT &) DT * ?=?( DT *&, DT * );
3
4void a() {
5        forall( T ) void f( T );
6        void g( forall( U ) void p( U ) );
7        g( f );
8}
9
10void g() {
11        void h( int *null );
12        forall( T ) T id( T );
13//      forall( dtype T ) T *0;
14//      int 0;
15        h( id( id( id( 0 ) ) ) );
16}
17
18// Local Variables: //
19// tab-width: 4 //
20// End: //
Note: See TracBrowser for help on using the repository browser.