source: tests/zombies/context.cfa @ 9319a23

ADTast-experimental
Last change on this file since 9319a23 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: 247 bytes
RevLine 
[a0dcd2e]1// trait declaration
[21eb693]2
[fd54fef]3trait has_q( T ) {
[62edde5]4        T q( T );
5};
6
[fd54fef]7forall( z | has_q( z ) ) void f() {
8        trait has_r( T, U ) {
[62edde5]9                T r( T, T (T,U) );
10        };
11
12        extern otype x, y | has_r( x, y );
13}
14
15//Dummy main
16int main(int argc, char const *argv[])
17{
18        return 0;
19}
Note: See TracBrowser for help on using the repository browser.