source: src/Tests/Context.c @ a3e7d34

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 a3e7d34 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs
  • Property mode set to 100644
File size: 236 bytes
RevLine 
[a65d92e]1context has_q( type T ) {
2        T q( T );
[51b7345]3};
4
[a65d92e]5forall( type z | has_q( z ) ) void f() {
6        context has_r( type T, type U ) {
7                T r( T, T (T,U) );
8        };
[51b7345]9 
[a65d92e]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.