liquidhaskell-0.9.0.2.1: tests/neg/TermReal.hs

{-@ LIQUID "--expect-any-error" @-}
module TermReal where

{-@ search :: { hi : Int | 0 < hi } -> Int @-}
search :: Int -> Int
search hi = search (hi `div` 2)