source: tests/zombies/Rank2.c @ 576aadb

Last change on this file since 576aadb was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 4 years 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
RevLine 
[506d4f0]1int ?=?( int &, int );
[fd54fef]2forall(DT &) DT * ?=?( DT *&, DT * );
[51b7345]3
[a65d92e]4void a() {
[fd54fef]5        forall( T ) void f( T );
6        void g( forall( U ) void p( U ) );
[a65d92e]7        g( f );
[51b7345]8}
9
[a65d92e]10void g() {
11        void h( int *null );
[fd54fef]12        forall( T ) T id( T );
[506d4f0]13//      forall( dtype T ) T *0;
14//      int 0;
[a65d92e]15        h( id( id( id( 0 ) ) ) );
[51b7345]16}
[a65d92e]17
18// Local Variables: //
19// tab-width: 4 //
20// End: //
Note: See TracBrowser for help on using the repository browser.