Bonjour! J'ai une questin à propos du pattern matching du type rational sur Haskell

J'ai ce message d'erreur
"Parse error in pattern: cantorSucc"

"
quand j'essaie de compiler ceci:

cantorSucc:: Rational -> Rational
cantorSucc a % b
| x`mod`y == 0 = (x+1)%(y+1)
| y>1 = (x+1)%(y-1)
| y==1 = x%x

Je ne comprends pas pourquoi, a%b c'est la forme standard d'un
rationnel (j'ai vérifié avec la console)

(Je dois construire une liste infinie avec tous les rationnels ordonnés selon la diagonale de Cantor)

Merci !

C'est pas juste a cause des ` ?

Merci

Non c'est sur la ligne:
"cantorSucc x % y "

( et pas a b je me suis trompé dans le premier message)

Le mod ça marche qu'avec les ` je crois

D'accord j'imagine bien que c'etait pas la par hasard mais sait on jamais
Je connais pas la syntaxe Haskell désolé donc j'avais un peu de mal à inférer.

Le problème vient peut etre du fait que tu pattern-match sur (x%y) qui est un Rational, et a gauhe du = tu as des entiers

Merci d'essayer

cantorSucc:: Rational -> Rational
cantorSucc (x % y) = y%x

Même ça ça marche pas.

Bon aucune idée alors, sur le net dans le code de la librairie Rational je tombe sur des x :% y mais je sais pas a quoi sert le :