liquidhaskell-0.8.10.1: include/Language/Haskell/Liquid/Synthesize/Error.hs

module Language.Haskell.Liquid.Synthesize.Error where 

{-@ err :: { v: Int | false } -> a @-}
err :: Int -> a
err s = undefined