Tri à bulles en caml

Bonjour,

Je suis en première année de licence d'informatique et on a un projet à faire sur caml.
Il faut faire plusieurs fonctions de tri et voir laquelle est la plus rapide.

Je suis bloquer à la fonction de tri à bulles.
Le principe est de prendre le premier élément de la liste l et de le comparé au deuxième pour savoir s'il est plus petit ou plus grand. S'il est plus petit, il reste en tête ; s'il est plus grand, on continue avec le deuxième élément de la liste jusqu'à trouvé un élément plus grand que lui.
On fait ça pour tout les éléments de la liste, et une fois arrivé à la fin, on obtient une liste triée.

Voilà ce que j'ai tapé :

let rec tri_bulle_bis f l a =
match (l,a) with
([],_) -> a
|(_,[]) -> tri_bulle_bis f (List.tl l) (List.hd l)
|(x::r,y::s)-> if (f x y)
then tri_bulle_bis f r (x::s)
else tri_bulle_bis f r (y::(tri_bulle_bis f [x] s)) ;;

let tri_bulle f l =
tri_bulle_bis f l [] ;;

Seulement caml me renvoie une erreur :
This expression has type 'a list
but an expression was expected of type 'a

Et je n'arrive pas à trouvé l'erreur.

Est-ce que quelqu'un peut m'aider ?

Merci d'avance pour vos réponses.

Sara.