liquidhaskell-0.4.0.0: tests/pos/pragma0.hs

{-@ LIQUID "--notermination" @-}

module Test0 where


-- an obviously non-terminating function
zoo   :: Int -> Int
zoo x = zoo x