source: src/Tests/Abstype.c @ 71f4e4f

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 71f4e4f 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: 366 bytes
RevLine 
[51b7345]1type T | { T x( T ); };
2
[a65d92e]3T y( T t ) {
[51b7345]4        T t_instance;
5        return x( t );
6}
7
[a65d92e]8forall( type T ) lvalue T *?( T * );
[5f2f2d7]9int ?++( int * );
[a65d92e]10int ?=?( int *, int );
11forall( dtype DT ) DT * ?=?( DT **, DT * );
[51b7345]12
[a65d92e]13type 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.