• Peter Wortmann's avatar
    Debug test case and test suite way · c6306140
    Peter Wortmann authored
    Adds a test way for debug (-g -dannot-lint) as well as a test covering
    basic source tick functionality.
    
    The debug way fails for a number of test cases because of annotation
    linting: Tracing simplification (e.g. rule firings) will see
    duplicated output, and sometimes expression matching might take so
    long that the test case timeouts. We blacklist these tests.
    
    (From Phabricator D169)
    c6306140
ghc 7.61 KB