Haskell: ошибка разбора в шаблоне

Question

Кто любит говорить мне, что не так с этим кодом (синтаксически)?

-- merge two sorted lists
mergeX [] b res = b ++ res
mergeX a [] res = a ++ res
mergeX a:as b:bs res
    | a > b     = mergeX as b:bs a:res
    | otherwise = mergeX a:as bs b:res

Переводчик:

Ошибка разбора в шаблоне: mergeX

Answer 1

Вам нужно несколько скобок:

mergeX [] b res = b ++ res
mergeX a [] res = a ++ res
mergeX (a:as) (b:bs) res
    | a > b     = mergeX as (b:bs) (a:res)
    | otherwise = mergeX (a:as) bs (b:res)

Причина в том, что : имеет более низкий приоритет, чем приложение функции, поэтому mergeX a:as b:bs res будет проанализирован как:

(mergeX a):(as b):(bs res)

что является ошибкой.

Answer 2

Вам необходимо поместить шаблоны конструктора (или как они называются) в парантезы.

mergeX (a:as) (b:bs) res