He empezado a abrirme camino a través de Erik MeijerConferencias de 13 partes (y de Graham Huttondiapositivas) para aprender Haskell.

En las diapositivas del Capítulo 4, en la página 13, introduce la sintaxis de coincidencia de patrones para los patrones n + k. En particular, dice:

Al igual que en matemáticas, las funciones en enteros se pueden definir utilizando n + k patrones, donde n es una variable entera y k> 0 es una constante entera.

pred :: Int -> Int
pred (n+1) = n

Cuando intenté esto por mi cuenta en el REPL recibo un mensaje de error:

*Main> let mypred (n+1) = n

<interactive>:65:13: Parse error in pattern: n + 1

Del mismo modo, si lo intento en una*.hs expediente

mypred :: Int -> Int
mypred (n+1) = n

El compilador da una queja similar:

/Users/pohl/Code/praxis-haskell/helloworld.hs:14:9:
    Parse error in pattern: n + 1

¿No entiendo cómo se pretende utilizar los patrones de n + k?