Discussion :

[gomisse]

Ecrire une fonction qui efface d'une liste les élément qui sont None et renvoye la liste des éléments qui ne les sont pas (None):
le type de la fonction est : efface :a option list -> 'a list

Code :

Code :

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

1
2
3
4
5
6
let rec effacer  l  = match l with
    |None _::tl -> raise Liste_vide
    |Some x::tl-> let quai= effacer tl  in 
      if x=None then quai 
      else x:: quai ;;

Warning 28: wildcard pattern given as argument to a constant constructor
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
[]
val effacer : 'a option option list -> 'a option list = <fun>
#




Er


Merci pour votre aide.

[stendhal666]

Eh bien la réponse est dans ce que te dit le compilateur: tes patterns ne sont pas exhaustifs, tu as oublié la liste vide comme possibilité, il ne sait donc pas s'arrêter...
Par ailleurs je pense que ta fonction ne correspond pas à sa description. Je ne connais pas bien la syntaxe d'Ocaml, mais tu devrais avoir qqc comme:

Code :

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

1
2
3
4
let rec effacer l = match l with
  |Empty = Empty --comment: si Empty est le constructeur pour une liste vide. En Haskell ce serait [], en Lisp (), etc.  
  |None :: tl -> effacer tl  --comment: None est un constructeur sans argument je pense; on passe l'élément s'il est None
  |(Some x)::tl -> x::(effacer tl) --comment: on garde x puisqu'il n'est pas None

[gomisse]

Merci beaucoup standhal. resolu .