Changeset a65d92e for src/Tests/ResolvExpr/InferParam.c

Timestamp:

Jun 5, 2015, 9:34:43 AM (9 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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:

59db689

Parents:

44b5ca0

Message:

regression testing, second attempt

File:

• src/Tests/ResolvExpr/InferParam.c (modified) (2 diffs)

src/Tests/ResolvExpr/InferParam.c

@@ -8 +8 @@
 void i( float );
 
-void h()
-{
-  int a;
-  i( g( a ) );
+void h() {
+        int a;
+        i( g( a ) );
 }
 
-context has_f_and_j( type T, type U )
-{
-  U f( T );
-  U j( T, U );
+context has_f_and_j( type T, type U ) {
+        U f( T );
+        U j( T, U );
 };
 
@@ -23 +21 @@
 forall( type T, type U | has_f_and_j( T, U ) ) U k( T );
 
-void l()
-{
-  int b;
-  i( k( b ) );
+void l() {
+        int b;
+        i( k( b ) );
 }
+
+// Local Variables: //
+// tab-width: 4 //
+// End: //