Install libghc-should-not-typecheck-prof by entering the following commands in the terminal:
sudo apt update sudo apt install libghc-should-not-typecheck-prof
Description:
verify that an expression does not typecheck; profiling libraries
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, compiled for profiling. 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