liquidhaskell-0.9.0.2.1: tests/pos/Exp0.hs

-- small test for playing around with exports.

module Exp0 (f) where

import Language.Haskell.Liquid.Prelude

data Goo = G Int

{-@ data Goo = G (x :: {v:Int | v > 0}) @-}

{-@ f :: Goo -> Goo @-} 
f (G n) 
  | n > 0     = G (n +  1)
  | otherwise = liquidError "ad"