Test the strictness analyzer using annotations
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 29 Nov 2013 18:58:55 +0000 (18:58 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 29 Nov 2013 19:08:43 +0000 (19:08 +0000)
commit35261988282409739e6b0d04a29a1ca2f25e4475
treed6edb2deb05776d279d6974e8f096a4f722ef073
parentc5fa5d524fc05cd1dfd5ea255242c835479f86d5
Test the strictness analyzer using annotations

This adds a new directory, tests/stranal/sigs. Tests therein are
expected to use the StrAnalAnnotation GHC plugin (also therein) to
annotate (some of) their top level functions like this:

    foo x = x
    {-# ANN foo (StrAnal "<S,1*U>") #-}

Then the test will fail if the strictness analyzer finds a different
strictness signature.
testsuite/tests/stranal/sigs/Makefile [new file with mode: 0644]
testsuite/tests/stranal/sigs/StrAnalAnnotation.hs [new file with mode: 0644]
testsuite/tests/stranal/sigs/StrAnalExample.hs [new file with mode: 0644]
testsuite/tests/stranal/sigs/all.T [new file with mode: 0644]