source: src/Tests/Abstype.c @ e04ef3a

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 e04ef3a was 55ba733, checked in by Peter A. Buhr <pabuhr@…>, 8 years ago

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