liquidhaskell-0.8.0.2: tests/errors/BadPragma1.hs

{-@ LIQUID "--c-files=./wow.c" @-}

module Bad where 

i :: Int
i = 1