liquidhaskell-0.7.0.0: tests/crash/BadPragma0.hs

{-@ LIQUID "--idirs=.." @-}

module Bad where 

i :: Int
i = 1