Changes in src/examples/ctxts.c [86bd7c1f:843054c2]
- File:
-
- 1 edited
-
src/examples/ctxts.c (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
src/examples/ctxts.c
r86bd7c1f r843054c2 1 //2 // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo3 //4 // The contents of this file are covered under the licence agreement in the5 // file "LICENCE" distributed with Cforall.6 //7 // ctxts.c --8 //9 // Author : Richard C. Bilson10 // Created On : Wed May 27 17:56:53 201511 // Last Modified By : Peter A. Buhr12 // Last Modified On : Wed May 27 18:11:19 201513 // Update Count : 214 //15 16 1 context has_f( type T ) { 17 T f( T );2 T f( T ); 18 3 }; 19 4 20 5 context has_g( type U | has_f( U ) ) { 21 U g( U );6 U g( U ); 22 7 }; 23 8 24 9 forall( 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.