liquidhaskell-0.9.0.2.1: tests/pos/DependentPairsFun.hs

module DependentPairsFun where


{-@ ex :: (y::Int, () -> {v:() | 0 < y } )
      -> (y::Int, {v:() | 0 < y})
@-}
ex ::(Int,() -> ()) -> (Int,())
ex (y, pxToqxy) =  (y,pxToqxy ())