liquidhaskell-0.7.0.0: tests/crash/T691.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