Changes to testsuite

Changes to testsuite:
commit 7fb29c6b82d15365a38a11745afee958e2beace6
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Thu Oct 24 15:44:50 2013 +0100

    Test Trac #8425