-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/

-- | A HUnit/hspec assertion library to verify that an expression does not typecheck
--   
--   For examples and an introduction to the library please take a look at
--   the README on github.
@package should-not-typecheck
@version 2.1.0

module Test.ShouldNotTypecheck

-- | 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.
shouldNotTypecheck :: NFData a => (() ~ () => a) -> Assertion
