liquidhaskell-0.9.0.2.1: tests/errors/Frog.hs

{-@ LIQUID "--expect-error-containing=Unbound symbol GHC.Err.undefined" @-}

module Frog where

{-@ LIQUID "--reflection" @-}

{-@ reflect frog @-}
frog :: () -> Bool
frog () = undefined