Discussion :

[Snyper]

Bonjour à tous,

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
let f1 (longueur:int) (posj:int) = match longueur with 
  posj -> print_string "bonjour"
  |_ -> print_string "à demain";;
 
Warning U: this match case is unused.
    |_ -> print_string "à demain";;

je ne comprend pas pourquoi j' ai ce message...

Merci.

[Garulfo]

Bonjour à tous,

let f1 (longueur:int) (posj:int) = match longueur with
posj -> print_string "bonjour"
|_ -> print_string "à demain";;

Warning U: this match case is unused.
|_ -> print_string "à demain";;

je ne comprend pas pourquoi j' ai ce message...

Merci.

De plus, tu es gentil de ne pas écrire à tous le monde en MP !
La prochaine fois ne compte pas sur moi.

Il t'explique quel est l'erreur :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
this match case is unused.
    |_ -> print_string "à demain";;

Ne lis tu pas l'anglais ?
Pourrais tu me dire, en mots, pour quelles valeurs de longueur et de posj ta fonction f1 affiche-t-elle "a demain" ??

[Snyper]

et bien pour longueur = posj -> bonjour pour une autre valeur á demain enfin je crois....

[SpiceGuid]

Non, posj est une nouvelle variable, différente de l'argument posj, et qui filtre n'importe quelle valeur.

Ton expression match est équivalente à l'expression:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

let posj = longueur in print_string "bonjour"

Si tu veux faire un test d'égalité alors une expression if...then...else... fait très bien l'affaire.

[alex_pi]

Quand tu mets un nom de variable dans le schéma d'un "match", il considère que tu veux lier la valeur trouvée à cette endroit à cette variable. Par exemple dans

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
let pair = (4,2) in
  match pair with 
    | (i, j) -> ....

quand tu es dans les pointillés, i vaut 4 et j vaut 2, même si les noms i et j avaient déjà été utilisé avant.

Donc dans ton exemple, le premier schéma lie systématiquement la valeur longeur à la variable posj

Les seuls moment où un match fait un test d'égalité, c'est quand tu as une valeur imédiate, genre

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
 
match foo with 
  | 0 -> ...
  | 1 -> ...
  |_ -> ...

if then else est donc ton ami :-)

[Snyper]

Merci pour les réponses