Changeset 74ec742 for tests/forall.cfa

Timestamp:

May 20, 2022, 10:36:45 AM (4 years ago)

Author:

m3zulfiq <m3zulfiq@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

25fa20a

Parents:

29d8c02 (diff), 7831e8fb (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.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/forall.cfa (modified) (4 diffs)

tests/forall.cfa

@@ -1 @@
-// 
+//
 // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
 //
 // The contents of this file are covered under the licence agreement in the
 // file "LICENCE" distributed with Cforall.
-// 
-// forall.cfa -- 
-// 
+//
+// forall.cfa --
+//
 // Author           : Peter A. Buhr
 // Created On       : Wed May  9 08:48:15 2018
@@ -12 +12 @@
 // Last Modified On : Sat Jun  5 10:06:08 2021
 // Update Count     : 36
-// 
+//
 
 void g1() {
@@ -45 +45 @@
 }
 
-typedef forall ( T ) int (* f)( int );
+// commented this out since it is not clearly meaningful
+// and not really representable in the ast
+// typedef forall ( T ) int (* f)( int );
 
 forall( T )
@@ -170 +172 @@
 }
 
-forall( T | { T ?+?( T, T ); } ) forall( S | { T ?+?( T, S ); } ) 
+forall( T | { T ?+?( T, T ); } ) forall( S | { T ?+?( T, S ); } )
 struct XW { T t; };
 XW(int,int) xww;