source: translator/Tests/SynTree/Context.c @ 0b8cd722

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 0b8cd722 was 51b7345, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

initial commit

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