Changeset 86bd7c1f for src/examples/ctxts.c
- Timestamp:
- May 27, 2015, 8:33:19 PM (11 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc
- Children:
- 00cc023
- Parents:
- 52ac3b4
- File:
-
- 1 edited
-
src/examples/ctxts.c (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
src/examples/ctxts.c
r52ac3b4 r86bd7c1f 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 1 16 context has_f( type T ) { 2 T f( T );17 T f( T ); 3 18 }; 4 19 5 20 context has_g( type U | has_f( U ) ) { 6 U g( U );21 U g( U ); 7 22 }; 8 23 9 24 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.