Discussion :

[gomisse]

Merci ! je reprend en detail
Un individu est un type defini par :

Code :

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

1
2
3
4
5
6
7

type personn= {id : int ; sexe : string ;  age: int };;


let produit i p1 p2 = if(i=p1.id && i=p2.id) then [] else [];;  
val produit : int -> personn -> personn -> 'a list = <fun>

Question : le type de la fonction doit être val produit : int -> personn -> personn -> personn list = <fun> au lieu de val produit : int -> personn -> personn -> 'a list = <fun>

la fonction prend id et deux personnes, on test, si les deux personnes on le même id il retourne une liste des personne vide sinon on renvoie la liste de personnes produites.(on ne test pas le sexe)

[jojolebg]

Dans ton exemple tu as

Code :

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

if ... then [] else []

Donc tu renvois une liste vide dans tout les cas. C'est surement la source de ton problème.