liquidhaskell-0.4.0.0: tests/pos/modTest.hs

module Goober () where

import Language.Haskell.Liquid.Prelude (isEven)

{-@ takeEvens :: [Int] -> [{v: Int | v mod 2 = 0}] @-}
takeEvens :: [Int] -> [Int]
takeEvens []     = []
takeEvens (x:xs) = if isEven x
                     then x : takeEvens xs 
                     else takeEvens xs