Changeset 58b5d03


Ignore:
Timestamp:
Jun 14, 2016, 11:51:31 AM (6 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
aaron-thesis, arm-eh, 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

Location:
src/examples
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • src/examples/ctxts.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 Mar  2 18:10:21 2016
    13 // Update Count     : 3
     12// Last Modified On : Fri Jun 10 15:18:33 2016
     13// Update Count     : 4
    1414//
    1515
    16 trait has_f( type T ) {
     16trait has_f( otype T ) {
    1717        T f( T );
    1818};
    1919
    20 trait has_g( type U | has_f( U ) ) {
     20trait has_g( otype U | has_f( U ) ) {
    2121        U g( U );
    2222};
    2323
    24 forall( type V | has_g( V ) ) void h( V );
     24forall( otype V | has_g( V ) ) void h( V );
    2525
    2626// Local Variables: //
  • 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: //
  • src/examples/io.c

    r905cf4b r58b5d03  
    1111// Created On       : Wed Mar  2 16:56:02 2016
    1212// Last Modified By : Peter A. Buhr
    13 // Last Modified On : Thu May 26 10:06:00 2016
    14 // Update Count     : 28
     13// Last Modified On : Wed Jun  8 22:52:04 2016
     14// Update Count     : 30
    1515//
    1616
     
    3434        long double _Complex ldc;
    3535        char s1[10], s2[10];
     36
     37        int x = 3, y = 5, z = 7;
     38        sout | x * 3 | y + 1 | z << 2 | x == y | (x | y) | (x || y) | (x > z ? 1 : 2) | endl;
     39        sout | 1 | 2 | 3 | endl;
     40        sout | '1' | '2' | '3' | endl;
     41        sout | 1 | "" | 2 | "" | 3 | endl;
     42        sout | endl;
    3643
    3744        ifstream in;                                                                                            // create / open file
Note: See TracChangeset for help on using the changeset viewer.