Discussion :

[chrislains]

Bonjour,

Je rencontre un problème avec ma fonction « union » dont voici l'erreur : " Error: This expression has type ensemble * ensemble but an expression was expected of type ensemble "

Voici ma fonction qui a pour but de calculer l’union de deux ensembles :

Code :

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

1
2
3
4
5
6
7
8
9
  let union a b =
     let rec aux abr acc =
       match abr with 
       	 Vide,Vide -> Vide
       |Noeud(c,i,ag,ad),Vide -> abr
       |Vide,Noeud(c2,i2,ag2,ad2) -> acc
       |Noeud(c,i,ag,ad),Noeud(c2,i2,ag2,ad2) -> if (Ord.compare i i2) != 0 then (ajoute i2 ( aux ag ( aux ad acc)))
	 else (aux ag ( aux ad acc))
     in aux a b

Besoin d'aide svp

[Dinoosaure]

Il est normal que l'inféreur de type t'informe d'une erreur. En effet, je pense que le type de abr soit ensemble il me semble. Il en est de même pour acc. Or, tu explicites bien de filtrer sur uniquement abr. Le filtrage attends donc des valeurs du type ensemble.

Mais tu filtres avec un tuple d'expression ici (à l'aide de l'opérateur , par exemple dans Vide,Vide). En toute logique, je dirais qu'il faudrait que tu rajoutes acc au filtrage.

Après, il nous manque un peu d'informations comme ton type ensemble et la signature de ajouter (même si on les devine un peu). Enfin, tu peux utiliser la balise CODE pour insérer du code.

Essaye donc d'ajouter acc au filtrage et voyons ce que cela fait !