<NME> monad6.hs
<BEF> ADDFILE
<MSG> add parsing tests

<DFF> @@ -0,0 +1,12 @@
+module Foo where
+
+import Language.Haskell.Liquid.Prelude 
+
+{-@ gpp :: Monad m => m {v:Int|v>=0} -> m {v:Int|v>=0} @-}
+gpp :: Monad m => m Int -> m Int
+gpp z = do x <- z
+           return $ liquidAssert (x >= 0) (x + 1)
+
+
+xM :: [Int]
+xM = gpp [0]

{'addition_count': 12, 'commit_subject': 'add parsing tests', 'deletion_count': 0, 'file_extension': '.hs', 'lang': 'hs', 'license': 'bsd-3-clause', 'repo_name': 'ucsd-progsys/liquidhaskell'}