Install libghc-should-not-typecheck-dev by entering the following commands in the terminal:
sudo apt update sudo apt install libghc-should-not-typecheck-dev
Description:
verify that an expression does not typecheck
should-not-typecheck is a Haskell library which allows you to assert that an expression does not typecheck in your tests. It provides one function, shouldNotTypecheck, which takes an expression and will fail the test if it typechecks. shouldNotTypecheck returns an HUnit Assertion (so it can be used with both HUnit and hspec). . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
Homepage: http://github.com/CRogers/should-not-typecheck
Version: 2.1.0-3build2
Section: universe/haskell