liquidhaskell-0.9.0.2.1: tests/pos/Grty1.hs

{-# OPTIONS_GHC -Wno-overlapping-patterns #-}
module Grty1 () where
import Language.Haskell.Liquid.Prelude 

{-@ sz :: {v:[a]|((len v) = 1)} -> a @-}
-- sz (x:xs) = sz xs
sz [x]    = x

{-@ poo :: [a] -> a @-}
poo (x:xs) = poo xs
poo [x]    = x
poo _      = unsafeError "poo"