Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/examples/ctxts.c

    r86bd7c1f r843054c2  
    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 // ctxts.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 : Wed May 27 18:11:19 2015
    13 // Update Count     : 2
    14 //
    15 
    161context has_f( type T ) {
    17         T f( T );
     2    T f( T );
    183};
    194
    205context has_g( type U | has_f( U ) ) {
    21         U g( U );
     6    U g( U );
    227};
    238
    249forall( type V | has_g( V ) ) void h( V );
    25 
    26 // Local Variables: //
    27 // tab-width: 4 //
    28 // compile-command: "cfa ctxts.c" //
    29 // End: //
Note: See TracChangeset for help on using the changeset viewer.