Description
Provides HUnit and Hspec assertions that verify an expression does not typecheck. This lets Haskell libraries test negative type-level behavior, not only successful runtime behavior.
It is useful for libraries with advanced types, APIs that should reject invalid code, and documentation examples that demonstrate compile-time errors. It is a test support library and is used by automated test suites.