Moduleshould-not-typecheck-2.1.0Haskell2010

Test.ShouldNotTypecheck

Synopsis

value shouldNotTypecheck

Packageshould-not-typecheck-2.1.0
Exports1
LanguageHaskell2010
LicenceBSD-3-Clause
SourceShouldNotTypecheck.hs

valueshouldNotTypecheck :: NFData a => (() ~ () => a) -> Assertion

Takes one argument, an expression that should not typecheck. It will fail the test if the expression does typecheck. Requires Deferred Type Errors to be enabled for the file it is called in. See the README for examples and more infomation.