liquidhaskell-0.8.2.0: tests/todo/Parse1.hs

module BadParse where


{-@ test :: v:a -> (r:a, l:a) @-}
test x = (x, x)