liquidhaskell-0.8.10.1: tests/errors/BadPragma2.hs

{-@ LIQUID "--ghc-option=-O0" @-}

module Bad where 

i :: Int
i = 1