source: src/tests/Context.c @ efc15918

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since efc15918 was 62edde5, checked in by Thierry Delisle <tdelisle@…>, 8 years ago

added new tests folder to replace existing one

  • Property mode set to 100644
File size: 283 bytes
Line 
1//cforall context declaration
2context has_q( otype T ) {
3        T q( T );
4};
5
6forall( otype z | has_q( z ) ) void f() {
7        context has_r( otype T, otype U ) {
8                T r( T, T (T,U) );
9        };
10
11        extern otype x, y | has_r( x, y );
12}
13
14//Dummy main
15int main(int argc, char const *argv[])
16{
17        return 0;
18}
Note: See TracBrowser for help on using the repository browser.