Ignore:
Timestamp:
Jun 14, 2016, 11:51:31 AM (8 years ago)
Author:
Peter A. Buhr <pabuhr@…>
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, with_gc
Children:
7b21d99
Parents:
905cf4b
Message:

update keywords and add addition tests

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/examples/esskaykay.c

    r905cf4b r58b5d03  
    1010// Created On       : Wed May 27 17:56:53 2015
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Wed May 27 18:11:45 2015
    13 // Update Count     : 2
     12// Last Modified On : Fri Jun 10 15:25:12 2016
     13// Update Count     : 4
    1414//
    1515
    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)); }
     17forall (otype A, otype B, otype C) C ess (C (*(*f)(A))(B), B (*g)(A), A x) { return f(x)(g(x)); }
    1818
    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; }
     20forall (otype A, otype B) A (*kay(A a))(B b);
    2121
    2222// Now is the following function well-typed, or not?
    2323
    24 forall (type A) A esskaykay (A x) { ess (kay, kay, x); }
     24forall (otype A) A esskaykay (A x) { ess (kay, kay, x); }
    2525
    2626// Local Variables: //
Note: See TracChangeset for help on using the changeset viewer.