为什么haskell会抛出此错误？

Question

尝试编写列出项列表的函数并返回带有数字的元组列表的函数，我知道我可以用'zip'函数来完成它，但是任务是用递归写它：所以我得到了

  

不能构造无限类型：a = [a]当推广类型为“

”时

我做错了什么？

numerize' :: [a] -> Int -> [(a, Int)]
numerize' [] _ = []
numerize' [x] n = [(x, n)]
numerize' [x:xs] n = (x, n) : numerize' xs (n + 1)

Answer 1

[x:xs]

应该是

(x:xs)