Changes between Version 1 and Version 2 of Ticket #227


Ignore:
Timestamp:
Feb 13, 2025, 11:35:01 AM (6 months ago)
Author:
ajbeach
Comment:

I was in the area and so updated the trait format and otype keyword.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #227 – Description

    v1 v2  
    55
    66{{{
    7 forall (otype T | {void foo(T);})
     7forall(T | { void foo(T); })
    88struct S {
    99  T t;
    … …  
    1414S(int) s3 @= {0}; // ok ...?
    1515
    16 forall (otype T | {void foo(T);})
     16forall(T | { void foo(T); })
    1717struct U {
    1818  T * t;
    … …  
    2020
    2121U(int) u1; // ok ...?
    22 
    2322}}}
    2423
    … …  
    2726
    2827{{{
    29 trait is_happy( otype T ) {
     28forall(T)
     29trait is_happy {
    3030    void sayHi(T);
    3131};
    3232
    33 forall( otype T           | is_happy(T) )
     33forall(T           | is_happy(T) )
    3434struct thing { T item; };
    3535
    36 forall( otype T
     36forall(T
    3737#ifdef REMEMBER_ASSN
    3838                          | is_happy(T)