liquidhaskell-0.8.10.1: tests/neg/listne.hs

module ListNe where

{-@ type ListNE a = {v:[a] | 0 < len v} @-}

{-@ junkProp :: ListNE Int @-}
junkProp :: [Int]
junkProp = []