Changeset 937e51d for src/Tests/InferParam.c
- Timestamp:
- Jun 26, 2015, 4:00:26 PM (10 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:
- 0df292b, e0ff3e6
- Parents:
- eb50842 (diff), 1869adf (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)links above to see all the changes relative to each parent. - File:
-
- 1 moved
-
src/Tests/InferParam.c (moved) (moved from src/Tests/ResolvExpr/InferParam.c ) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/Tests/InferParam.c
reb50842 r937e51d 8 8 void i( float ); 9 9 10 void h() 11 { 12 int a; 13 i( g( a ) ); 10 void h() { 11 int a; 12 i( g( a ) ); 14 13 } 15 14 16 context has_f_and_j( type T, type U ) 17 { 18 U f( T ); 19 U j( T, U ); 15 context has_f_and_j( type T, type U ) { 16 U f( T ); 17 U j( T, U ); 20 18 }; 21 19 … … 23 21 forall( type T, type U | has_f_and_j( T, U ) ) U k( T ); 24 22 25 void l() 26 { 27 int b; 28 i( k( b ) ); 23 void l() { 24 int b; 25 i( k( b ) ); 29 26 } 27 28 // Local Variables: // 29 // tab-width: 4 // 30 // End: //
Note:
See TracChangeset
for help on using the changeset viewer.