packages feed

liquidhaskell-0.4.0.0: tests/neg/pragma0-unsafe.hs

-- NO PRAGMA version of tests/pos/pragma0.hs

module Test0 where

-- an obviously non-terminating function

zoo   :: Int -> Int
zoo x = zoo x