inspection-testing v0.4.2 Release Notes

Release Date: 2019-06-05 // over 2 years ago
    • Be less picky if mutually recursive definitions appear in a different order in the source
    • ➕ Add obligation coreOf, which succeeds, but lets you dump the core of a single symbol (thanks to @phadej)
    • 👌 Support -fplugin-opt=Test.Inspection.Plugin:keep-going-O0 (thanks to @phadej)

Previous changes from v0.4.1

    • 🆕 New obligation doesNotUse
    • ✅ Use the Obligation’s testName in the plugin output.
    • In inspect, do not override srcLoc if already present.