liquidhaskell-0.8.0.2: tests/errors/ParseBind.hs
-- We should reject the below to disallow uppercase binders
module NoUpperCaseBinders where
{-@ id :: Foo:Int -> Int @-}
id :: Int -> Int
id x = x
-- We should reject the below to disallow uppercase binders
module NoUpperCaseBinders where
{-@ id :: Foo:Int -> Int @-}
id :: Int -> Int
id x = x