liquidhaskell-0.9.0.2.1: tests/pos/Pragma0.hs

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

module Pragma0 where


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