Discussion :

[Miss1987]

Bonjour,

Actuellement en école d'ingénieur, je dois rendre un projet dans une semaine, mais j'ai un problème avec une fonction et je ne comprends pas pourquoi Caml me donne ce message d'erreur :

en fait on rentre un 'a (il s'agit d'un pays) et une liste de couples ('a*'a list) (ces couples sont en fait des pays frontaliers) et il faut que la fonction ressorte un couple de liste : d'un côté les pays supprimés et de l'aute les pays non supprimés :

Code :

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

1
2
3
4
5
6
7
let rec supprime5 (a,l) = match l with
   [] -> ([],[])
  |(e1,e2)::r -> 
      let (_::r1,_::r2) = supprime5 (a,r) in 
      if e1=a then (supprime5 (a,r1), e1::r2) 
              else if e2=a then (supprime5 (a,r1), e2::r2)
                            else (e1::e2::r1, supprime5 (a,r2));;

Voilà ce que Caml renvoie :

Code :

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

This expression has type ('a * 'a) list but is here used with type 'a list.

Merci beaucoup

[gorgonite]

Code :

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

e1::e2::r1

ce morceau n'a pas le bon type

faudrait pas plutot ceci ?

Code :

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

(e1,e2)::r1

[Miss1987]

en fait, si je mets ça, ça va renvoyer une liste avec des couples et c'est pas ce qu je veux
mais j'ai essayé et Caml répond ceci :

Code :

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

1
2
3
4
5
6
7
8
This expression has type 'a * 'a list but is here used with type
  'a * ('a * 'a) list
 
     |(e1,e2)::r -> let (_::r1,_::r2) = supprime5 (a,r) in if e1=a then (supprime5 (a,r1), e1::r2) else 
                        ^^^^^^^^^^^^^
Characters 338-344:
                                                           else ((e1,e2),r1, supprime5 (a,r2));;
                                                                                       ^^^^^^

[Jedai]

Ce bout de code est nettement faux :

Code :

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

let (_::r1,_::r2) = supprime5 (a,r)

puisque r pourrait être vide, et donc le pattern matching pourrait échouer.

A mon avis ton problème vient du fait que tu n'as pas assez formalisé ta question : essaie de formuler clairement ce que tu veux faire (donne un exemple simple), et nous pourrons mieux t'aider (il est même possible que la formulation claire du problème suffise à te donner la solution, c'est courant).

--
Jedaï

[SpiceGuid]

Code :

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

1
2
3
4
5
6
7
8
9
# let rec partition a l =
  match l with
  | [] -> ([],[])
  | (e1,e2)::r -> 
       let (r1,r2) = partition a r in 
       if e1=a then (r1,e2::r2) 
       else if e2=a then (r1,e1::r2)
       else (e1::e2::r1,r2);;
val partition : 'a -> ('a * 'a) list -> 'a list * 'a list = <fun>

[Miss1987]

merci bcp pr ce code, je vais essater de voir avec mon prjets et mes tests si tout fonctionne

[Miss1987]

ceci dit , amdettons qu'on est ceci :

Code :

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

partition ("fr",[("fr","be"); ("be","pb"); ("pb","all"); ("all","po"); ("po","rt"); ("rt","au"); ("au","su"); ("su","it"); ("it","fr"); ("fr","su")]);;

et caml renvoie :

Code :

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

1
2
3
- : string list * string list =
(["be"; "pb"; "pb"; "all"; "all"; "po"; "po"; "rt"; "rt"; "au"; "au"; "su";
  "su"; "it"; "fr"], ["fr"; "fr"; "fr"])

ds la 1ère liste, on ne devrait pas avoir "fr" :s

je rappelle juste le code :

Code :

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

1
2
3
4
5
 let rec partition (a,l) = match l with 
[] -> ([a],[])
   | (e1,e2)::r -> let (r1,r2) = partition (a,r) in if e1=a then (r1, (e1::r2)) else
                                                    if e2=a then (r1,(e2::r2))
                                                    else (e1::e2::r1, r2);;