Changeset 58b5d03 for src/examples/esskaykay.c
 Timestamp:
 Jun 14, 2016, 11:51:31 AM (8 years ago)
 Branches:
 ADT, aaronthesis, armeh, astexperimental, cleanupdtors, ctor, deferred_resn, demangler, enum, forallpointerdecay, gc_noraii, jacob/cs343translation, jenkinssandbox, master, memory, newast, newastuniqueexpr, newenv, no_list, persistentindexer, pthreademulation, qualifiedEnum, resolvnew, with_gc
 Children:
 7b21d99
 Parents:
 905cf4b
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

src/examples/esskaykay.c
r905cf4b r58b5d03 10 10 // Created On : Wed May 27 17:56:53 2015 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Wed May 27 18:11:45 201513 // Update Count : 212 // Last Modified On : Fri Jun 10 15:25:12 2016 13 // Update Count : 4 14 14 // 15 15 16 // forall ( type A, type B,type C) C ess (C (*f) (A,B), B (*g) (A), A x) { return f(x,g(x)); }17 forall ( type A, type B,type C) C ess (C (*(*f)(A))(B), B (*g)(A), A x) { return f(x)(g(x)); }16 // forall (otype A, otype B, otype C) C ess (C (*f) (A,B), B (*g) (A), A x) { return f(x,g(x)); } 17 forall (otype A, otype B, otype C) C ess (C (*(*f)(A))(B), B (*g)(A), A x) { return f(x)(g(x)); } 18 18 19 // forall ( type A,type B) A kay (A a, B b) { return a; }20 forall ( type A,type B) A (*kay(A a))(B b);19 // forall (otype A, otype B) A kay (A a, B b) { return a; } 20 forall (otype A, otype B) A (*kay(A a))(B b); 21 21 22 22 // Now is the following function welltyped, or not? 23 23 24 forall ( type A) A esskaykay (A x) { ess (kay, kay, x); }24 forall (otype A) A esskaykay (A x) { ess (kay, kay, x); } 25 25 26 26 // Local Variables: //
Note: See TracChangeset
for help on using the changeset viewer.