liquidhaskell-0.9.0.2.1: tests/pos/CommentedOut.hs
module CommentedOut where
{- {-@ nats :: [Nat] @-} -}
nats :: [Int]
nats = [-1,0,1,2,3,4,5,6,7,8,9,10]
module CommentedOut where
{- {-@ nats :: [Nat] @-} -}
nats :: [Int]
nats = [-1,0,1,2,3,4,5,6,7,8,9,10]