liquidhaskell-0.9.0.2.1: tests/errors/UnboundCheckVar.hs

{-@ LIQUID "--checks=ink" @-}

module UnboundCheckVar where

inc :: Int -> Int 
inc x = x + 1