source: src/Tests/SynTree/Context.c @ a65d92e

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since a65d92e was a65d92e, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

regression testing, second attempt

  • Property mode set to 100644
File size: 236 bytes
Line 
1context has_q( type T ) {
2        T q( T );
3};
4
5forall( type z | has_q( z ) ) void f() {
6        context has_r( type T, type U ) {
7                T r( T, T (T,U) );
8        };
9 
10        extern type x, y | has_r( x, y );
11}
12
13// Local Variables: //
14// tab-width: 4 //
15// End: //
Note: See TracBrowser for help on using the repository browser.