liquidhaskell-0.8.10.7: tests/errors/frog.hs

module Frog where

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

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