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

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