Changeset 86bd7c1f for src/examples/abstype.c
- Timestamp:
- May 27, 2015, 8:33:19 PM (9 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc
- Children:
- 00cc023
- Parents:
- 52ac3b4
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/examples/abstype.c
r52ac3b4 r86bd7c1f 1 // "cfa-cpp -nx Abstype.c" 1 // 2 // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo 3 // 4 // The contents of this file are covered under the licence agreement in the 5 // file "LICENCE" distributed with Cforall. 6 // 7 // abstype.c -- 8 // 9 // Author : Richard C. Bilson 10 // Created On : Wed May 27 17:56:53 2015 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Wed May 27 18:10:01 2015 13 // Update Count : 4 14 // 2 15 3 16 type T | { T x( T ); }; 4 17 5 18 T y( T t ) { 6 7 19 T t_instance; 20 return x( t ); 8 21 } 9 22 … … 16 29 17 30 U x( U u ) { 18 19 20 31 U u_instance = u; 32 (*u)++; 33 return u; 21 34 } 22 35 23 36 int *break_abstraction( U u ) { 24 37 return u; 25 38 } 39 40 // Local Variables: // 41 // tab-width: 4 // 42 // compile-command: "cfa abstype.c" // 43 // End: //
Note: See TracChangeset
for help on using the changeset viewer.