liquidhaskell-0.9.0.2.1: tests/errors/BadPragma2.hs
{-@ LIQUID "--expect-error-containing=Illegal pragma" @-}
{-@ LIQUID "--ghc-option=-O0" @-}
module BadPragma2 where
i :: Int
i = 1
{-@ LIQUID "--expect-error-containing=Illegal pragma" @-}
{-@ LIQUID "--ghc-option=-O0" @-}
module BadPragma2 where
i :: Int
i = 1