Syntax error (marche pas dans match mais if oui)

Bonjour tout le monde.

Je suis en train d'apprendre à utiliser le module Curses.

Lorsque j'appuie sur une touche, la touche est mémorisée dans la variable "c" qui est un int.

Mais lorsque je fais un match tel que :

Code:

---

1 2 3 4

match c with | Key.up -> blabla | _ -> toto

---

J'ai une erreur de syntaxe. Si je remplace le Key.up par sa valeur entière 259, évidemment, ca compile.

Maintenant si je fais dans le même fichier :

Code:

---

1 2 3 4 5

let _ = if c = Key.up then true else false in

---

Là, je n'ai pas d'erreur de syntaxe. J'ai tenté de mettre Key.up entre parenthèse mais ce ne fonctionne pas.
Alors bien sûr je pourrais faire des if, else if, else ... mais je préfère l'élégance du match et j'aimerais surtout comprendre ce que je n'ai pas compris.

Merci du coup de main.

Dest.

Ce qu'on met à gauche des flèches dans un match, ce ne sont pas n'importe quelle expression OCaml, ce sont des choses spéciales qu'on appelle des "motifs" (patterns). Les constantes sont des motifs, les variables sont des motifs, _ est un motif, les couples de motifs sont des motifs. Mais par exemple, "(f x)" (une application de fonction) n'est pas un motif et n'est pas valide ici.

Dans ton cas c'est pareil, tu essaies de mettre une valeur, ce n'est pas valide. Et il ne faut pas croire que "match foo with bar -> ..." c'est pareil que "if foo = bar then ...". Pas du tout, ça ne fonctionne pas du tout comme cela et si tu le penses tu vas avoir des erreurs graves.

Par exemple :

Code:

---

1 2 3 4 5 6 7 8 9 10

let est_ce_moi individu = let mon_pseudo = "bluestorm" in let mon_mail = "bluestorm dot dylc chez gmail" in match individu with | mon_pseudo -> true | mon_mail -> true | _ -> false;;   print_endline (if est_ce_moi "dest" then "c'est moi !" else "c'est pas moi ...");;

---

À ton avis, ce code va afficher quoi ?


Si tu ne comprends pas ton erreur, il faut que tu relises un cours de OCaml avec soin pour être sûr de bien comprendre la différence entre les expressions (comme Key.up) et les motifs. Sinon, tu feras forcément des erreurs par la suite.

Bonjour Bluestorm.

Merci pour ta réponse rapide mais aussi pour m'avoir prouvé que j'avais tord dans ma façon de faire. Donc oui en l'occurence, ton test va retourner "c'est moi" alors qu'il ne devrait pas (j'ai testé).

Je pensais que le match testait par valeur.
Je voulais employer un match comme on emploierait un switch en C.