char to string

Bonjour, quelqu'un sait s'il existe une fonction premettant de convertir un char en une string ? string_of_char n'existe malheuresement pas ... Je pourrais faire une fonction qui a chaque caractère associe son équivalent en string mais c'est assez pénible, il doit bien exister une fonction qui le fait déjà non??

tu crées une string de longueur 1 et initialisée avec ce caractère...

*honte* évidemment, j'avais pas vu cette fonction... Merci ^^"

Bien entendu, pour que cela soit élégant, il faut définir let string_of_char = String.make 1 ;; ;).

:resolu: ?