liquidhaskell-0.4.0.0: tests/pos/LocalLazy.hs

module LocalLazy (bar) where

import Language.Haskell.Liquid.Prelude

{-@ Lazy foo @-}
foo x = foo x


bar = liquidAssertB (inf n > 0)
  where n     = choose 0
       {-@ Lazy inf @-}
        inf n = inf n