packages feed

liquidhaskell-0.9.0.2.1: tests/errors/BadPragma1.hs

{-@ LIQUID "--expect-error-containing=Illegal pragma" @-}
{-@ LIQUID "--c-files=./wow.c" @-}

module BadPragma1 where

i :: Int
i = 1