NEWS
authorbulwahn
Thu Nov 08 19:55:19 2012 +0100 (2012-11-08)
changeset 50034c48b9b9f796d
parent 50033 c78f9cddc907
child 50035 4d17291eb19c
NEWS
NEWS
     1.1 --- a/NEWS	Thu Nov 08 19:55:17 2012 +0100
     1.2 +++ b/NEWS	Thu Nov 08 19:55:19 2012 +0100
     1.3 @@ -207,6 +207,9 @@
     1.4  * Simproc "finite_Collect" rewrites set comprehensions into pointfree
     1.5  expressions.
     1.6  
     1.7 +* Preprocessing of the code generator rewrites set comprehensions into
     1.8 +pointfree expressions.
     1.9 +
    1.10  * Quickcheck:
    1.11  
    1.12    - added an optimisation for equality premises.