aaronthesisarmehcleanupdtorsctordeferred_resndemanglerenumforallpointerdecaygc_noraiijacob/cs343translationjenkinssandboxmemorynewastnewastuniqueexprnewenvno_listpersistentindexerpthreademulationresolvnewstringwith_gc
Last change
on this file since a0d9f94 was
a0d9f94,
checked in by Peter A. Buhr <pabuhr@…>, 8 years ago

add compiler flag to driver, update examples, fix unnamed bit fields


Property mode set to
100644

File size:
348 bytes

Line  

1  // "cfacpp nx Abstype.c" 

2  

3  type T  { T x( T ); }; 

4  

5  T y( T t ) { 

6  T t_instance; 

7  return x( t ); 

8  } 

9  

10  forall(type T) lvalue T *?( T* ); 

11  int ?++( int *); 

12  int ?=?( int*, int ); 

13  forall(dtype DT) DT* ?=?( DT **, DT* ); 

14  

15  type U = int*; 

16  

17  U x( U u ) { 

18  U u_instance = u; 

19  (*u)++; 

20  return u; 

21  } 

22  

23  int *break_abstraction( U u ) { 

24  return u; 

25  } 

Note: See
TracBrowser
for help on using the repository browser.