source: tests/zombies/specialize.c @ 2908f08

Last change on this file since 2908f08 was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 4 years ago

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.

  • Property mode set to 100644
File size: 1.0 KB
Line 
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// specialize.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 : Tue Mar  8 22:06:17 2016
13// Update Count     : 3
14//
15
16/// void f( const int * );
17///
18/// void m()
19/// {
20///   f( 0 );
21/// }
22
23/// forall( dtype T ) T* f( T* );
24/// void g( int* (*)(int*) );
25///
26/// int m() {
27///   g( f );
28/// }
29
30/// void f1( void (*q)( forall( dtype U ) U* (*p)( U* ) ) );
31/// void g1( int* (*)(int*) );
32///
33/// int m1() {
34///   f1( g1 );
35/// }
36
37extern "C" {
38        int printf( const char*, ... );
39}
40
41forall( T ) T f( T t )
42{
43        printf( "in f; sizeof T is %d\n", sizeof( T ) );
44        return t;
45}
46
47void g( int (*p)(int) )
48{
49        printf( "g: f(7) returned %d\n", f(7) );
50}
51
52int main() {
53        g( f );
54}
55
56// Local Variables: //
57// tab-width: 4 //
58// compile-command: "cfa specialize.c" //
59// End: //
Note: See TracBrowser for help on using the repository browser.