ADT
        aaron-thesis
        arm-eh
        ast-experimental
        cleanup-dtors
        deferred_resn
        demangler
        enum
        forall-pointer-decay
        jacob/cs343-translation
        jenkins-sandbox
        new-ast
        new-ast-unique-expr
        new-env
        no_list
        persistent-indexer
        pthread-emulation
        qualifiedEnum
        resolv-new
        with_gc
      
      
        
          | Last change
 on this file since 6d54c3a was             b63e376, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago | 
        
          | 
update refrat with new keywords, update examples, update separators for quoted strings
 | 
        
          | 
              
Property                 mode
 set to                 100644 | 
        
          | File size:
            1.0 KB | 
      
      
| Rev | Line |  | 
|---|
| [86bd7c1f] | 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 | 
|---|
| [b63e376] | 12 | // Last Modified On : Tue Mar  8 22:06:17 2016 | 
|---|
|  | 13 | // Update Count     : 3 | 
|---|
| [86bd7c1f] | 14 | // | 
|---|
| [a0d9f94] | 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 |  | 
|---|
|  | 37 | extern "C" { | 
|---|
| [86bd7c1f] | 38 | int printf( const char*, ... ); | 
|---|
| [a0d9f94] | 39 | } | 
|---|
|  | 40 |  | 
|---|
| [b63e376] | 41 | forall( otype T ) T f( T t ) | 
|---|
| [a0d9f94] | 42 | { | 
|---|
| [86bd7c1f] | 43 | printf( "in f; sizeof T is %d\n", sizeof( T ) ); | 
|---|
|  | 44 | return t; | 
|---|
| [a0d9f94] | 45 | } | 
|---|
|  | 46 |  | 
|---|
|  | 47 | void g( int (*p)(int) ) | 
|---|
|  | 48 | { | 
|---|
| [86bd7c1f] | 49 | printf( "g: f(7) returned %d\n", f(7) ); | 
|---|
| [a0d9f94] | 50 | } | 
|---|
|  | 51 |  | 
|---|
|  | 52 | int main() { | 
|---|
| [86bd7c1f] | 53 | g( f ); | 
|---|
| [a0d9f94] | 54 | } | 
|---|
| [86bd7c1f] | 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.