我试图写一个筛选的Eratosthenes函数，给用户所有素数从2到他们的上限。所以我写了这段代码：

main = do
putStrLn "Upper Limit"
g <- readLn
let sieve [] = []
let sieve (p:xs) = p : sieve [x | x <- xs, x `mod` p /= 0]
let primes = sieve [2..g]
print primes

字符串
代码编译并给出了正确的解决方案，但我在解决方案的末尾得到了这个异常：
例外：函数sieve中的非穷举模式
所以我查了哪些模式不匹配。

warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for `sieve': Patterns not matched: (_:_)

warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for `sieve': Patterns not matched: []

型
我不太明白，因为我给了let sieve [] = []，我以为_在Haskell中是指任何变量，那么模式(_:_)是什么意思呢？