Changeset 18747 for trunk/NEWS

Timestamp:

03/16/09 23:32:24 (4 years ago)

Author:

busenius

Message:

Expi2Java 1.2
Updated NEWS

File:

• trunk/NEWS (modified) (1 diff)

trunk/NEWS

@@ -5 +5 @@
 
 
-  * Implemented type inference for the parameters of constructor and destructor
-    types
+2009-03-17: Expi2Java 1.2
+  * Implemented type inference for the type parameters in constructor and
+    destructor applications
   * Type annotations in constructor and destructor applications became optional
   * Type inference is not optional any more, it is always run before type check
   * Implemented partial type annotations (only the configuration)
+  * Allowed constructor applications in the let process
+  * Noticeably reduced the size of example protocols using the new features,
+    e.g. TLS protocol implementation became about 100 lines shorter
+    Now we can write
+        let c1(*:@ABChan*) = accept(c) in ...
+    instead of
+        let c1(*:Channel@ABChan<$Msg1>*) = accept(*:[Channel@BAChan<$Msg1>]*)(c) in ...