liquidhaskell-0.9.0.2.1: tests/pos/Vector00.hs

module Vector00 () where

import Language.Haskell.Liquid.Prelude
-- import Data.List
import Data.Vector hiding (map, concat, zipWith, filter, foldr, foldl, (++))

propVec = (vs ! 3) == 3
  where xs    = [1,2,3,4] :: [Int]
        vs    = fromList xs