Changeset 0b2961f for src/Tests/SynTree/Forall.c

Timestamp:

Jun 9, 2015, 3:19:04 PM (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:

8a95629

Parents:

81419b5

Message:

fix warnings from prelude.cf, work on regression testing

File:

• src/Tests/SynTree/Forall.c (modified) (3 diffs)

src/Tests/SynTree/Forall.c

@@ -9 +9 @@
 
 context sumable( type T ) {
-    const T 0;
-    T ?+?(T, T);
-    T ?++(T);
-    [T] ?+=?(T,T);
+        const T 0;
+        T ?+?(T, T);
+        T ?++(T);
+        [T] ?+=?(T,T);
 };
 
@@ -32 +32 @@
         int i;
         for ( i = 0; i < n; i += 1 )
-            total = total + a[i];
+                total = total + a[i];
         return total;
 }
@@ -41 +41 @@
 }
 
+forall( type T | { const T 0; int ?!=?(T, T); int ?<?(T, T); } )
+T min( T t1, T t2 ) {
+        return t1 < t2 ? t1 : t2;
+}
+
 int main() {
-    int x = 1, y = 2, a[10];
-    float f;
+        int x = 1, y = 2, a[10];
+        float f;
 
-    swap( x, y );
-    twice( x, y );
-    f = min( 4.0, 3.0 );
-    sum( 10, a );
+        swap( x, y );
+        twice( x );
+        f = min( 4.0, 3.0 );
+        sum( 10, a );
 }