Changeset 18747 for trunk/NEWS


Ignore:
Timestamp:
03/16/09 23:32:24 (6 years ago)
Author:
busenius
Message:

Expi2Java 1.2
Updated NEWS

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/NEWS

    r18692 r18747  
    55 
    66 
    7   * Implemented type inference for the parameters of constructor and destructor 
    8     types 
     72009-03-17: Expi2Java 1.2 
     8  * Implemented type inference for the type parameters in constructor and 
     9    destructor applications 
    910  * Type annotations in constructor and destructor applications became optional 
    1011  * Type inference is not optional any more, it is always run before type check 
    1112  * Implemented partial type annotations (only the configuration) 
     13  * Allowed constructor applications in the let process 
     14  * Noticeably reduced the size of example protocols using the new features, 
     15    e.g. TLS protocol implementation became about 100 lines shorter 
     16    Now we can write 
     17        let c1(*:@ABChan*) = accept(c) in ... 
     18    instead of 
     19        let c1(*:Channel@ABChan<$Msg1>*) = accept(*:[Channel@BAChan<$Msg1>]*)(c) in ... 
    1220 
    1321 
Note: See TracChangeset for help on using the changeset viewer.