# HG changeset patch # User bulwahn # Date 1352400919 -3600 # Node ID c48b9b9f796da739cdc9af7a0d41b0bcef00b837 # Parent c78f9cddc907995171f11f96927718ac0aedde3e NEWS diff -r c78f9cddc907 -r c48b9b9f796d NEWS --- a/NEWS Thu Nov 08 19:55:17 2012 +0100 +++ b/NEWS Thu Nov 08 19:55:19 2012 +0100 @@ -207,6 +207,9 @@ * Simproc "finite_Collect" rewrites set comprehensions into pointfree expressions. +* Preprocessing of the code generator rewrites set comprehensions into +pointfree expressions. + * Quickcheck: - added an optimisation for equality premises.