haskell-language-server-2.13.0.0: plugins/hls-eval-plugin/test/testdata/TPropertyError.ghc914.expected.hs

-- Support for property checking
module TProperty where

-- prop> \(l::[Bool]) -> head l
-- *** Failed! Exception: 'Prelude.head: empty list' (after 1 test):
-- []