[caml] annotation de type

annotation de type [caml] - Divers - Programmation

Marsh Posté le 06-03-2006 à 18:43:18    

Salut,
j'aimerais forcer l'annotation de types sur une expression OCaml mais je me retrouve avec une erreur bête mais sur laquelle je bloque depuis un bout de temps. Je ne suis pas arrivé à trouver de la doc sur un truc aussi précis.
 Si quelqu'un peut me donner un coup de pouce :hello:  
 
L'expression de base
 

Code :
  1. let rec index v l = match l with
  2.   | [] -> raise Not_found
  3.   | h::t -> if v = h then 0 else 1+(index v t);;
  4.     val index : 'a -> 'a list -> int = <fun>


 
L'expression avec annotation de type et son erreur:
 

Code :
  1. let rec index v l (v: 'a) (l: 'a list) = match l with
  2.   | [] -> raise Not_found
  3.   | h::t -> if v = h then 0 else 1+(index v t);;
  4.     Characters 116-127:
  5.     | h::t -> if v = h then 0 else 1+(index v t);;
  6.                                      ^^^^^^^^^^^
  7. This expression has type 'a -> 'a list -> 'b but is here used with type int


Reply

Marsh Posté le 06-03-2006 à 18:43:18   

Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed