source: tests/zombies/context.cfa @ a86b1b85

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since a86b1b85 was dda3e2a, checked in by Thierry Delisle <tdelisle@…>, 5 years ago

Moved tests without .expect to zombies folder

  • Property mode set to 100644
File size: 271 bytes
Line 
1// trait declaration
2
3trait has_q( otype T ) {
4        T q( T );
5};
6
7forall( otype z | has_q( z ) ) void f() {
8        trait has_r( otype T, otype U ) {
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.