HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Moduleshould-not-typecheck-2.1.0Haskell2010

Test.ShouldNotTypecheck

  • 1 value
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.