source: src/Tests/Abstype.c @ 55ba733

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 55ba733 was 55ba733, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago

update keywords in test files

  • Property mode set to 100644
File size: 369 bytes
Line 
1otype T | { T x( T ); };
2
3T y( T t ) {
4        T t_instance;
5        return x( t );
6}
7
8forall( otype T ) lvalue T *?( T * );
9int ?++( int * );
10int ?=?( int *, int );
11forall( dtype DT ) DT * ?=?( DT **, DT * );
12
13otype U = int *;
14
15U x( U u ) {
16        U u_instance = u;
17        (*u)++;
18        return u;
19}
20
21int *break_abstraction( U u ) {
22        return u;
23}
24
25// Local Variables: //
26// tab-width: 4 //
27// End: //
Note: See TracBrowser for help on using the repository browser.