liquidhaskell-0.7.0.0: tests/pos/LazyWhere.hs

module LazyWhere () where

import Language.Haskell.Liquid.Prelude

{-@ pos :: Nat -> Int @-}
pos :: Int -> Int
pos = undefined


{-@ lazyvar z @-}
foo = if x > 0 then z else x
  where z = pos x
        x = choose 0