Ignore:
Timestamp:
Jun 5, 2015, 9:34:43 AM (9 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, string, with_gc
Children:
59db689
Parents:
44b5ca0
Message:

regression testing, second attempt

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Tests/ResolvExpr/Quad.c

    r44b5ca0 ra65d92e  
    1 int ?=?( int*, int );
     1int ?=?( int *, int );
    22int ?*?( int, int );
    33
    44forall( type T | { T ?*?( T, T ); } )
    5 T square( T t )
    6 {
    7   return t * t;
     5T square( T t ) {
     6        return t * t;
    87}
    98
    109forall( type U | { U square( U ); } )
    11 U quad( U u )
    12 {
    13   return square( square( u ) );
     10U quad( U u ) {
     11        return square( square( u ) );
    1412}
    1513
    16 void f()
    17 {
    18   quad( 7 );
     14void f() {
     15        quad( 7 );
    1916}
     17
     18// Local Variables: //
     19// tab-width: 4 //
     20// End: //
Note: See TracChangeset for help on using the changeset viewer.