liquidhaskell-0.9.0.2.1: tests/pos/TokenType.hs
module TokenType where
data TokenType = Foo | CChar
{-@ bar :: Char @-}
bar :: Char
bar = undefined
module TokenType where
data TokenType = Foo | CChar
{-@ bar :: Char @-}
bar :: Char
bar = undefined