--- a/NEWS Thu Dec 05 09:23:59 2013 +0100 +++ b/NEWS Thu Dec 05 13:22:00 2013 +0100 @@ -520,6 +520,10 @@ sets ~> set IMCOMPATIBILITY. +* Nitpick: + - Fixed soundness bug whereby mutually recursive datatypes could take + infinite values. + *** ML ***