[Caml-list] listes qui bouclent

["Jean-Denis Eiden" <jean-denis.eiden@orange.fr>]

Bonjour à tous,

CaML light permet la construction suivante :

#let rec liste = 0::1::2::3::liste;;
liste : int list =
 [0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0;
  1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1;
  2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2;
  3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2; 3; 0; 1; 2;
  ...]

Cela étant, j'aimerais pouvoir faire la même chose en paramétrant la période 
; par exemple, j'aimerais créer [ 0 ; 1 ; 2 ; ... ; n-1 ; 0 ; 1 ; 2 ; ... ] 
:

#let repète n = let aux = ref [] in for i = n-1 downto 0 do aux:= i::(!aux) 
done; !aux;;
repète : int -> int list = <fun>

#let cyclique n = let aux = repète n in let rec liste = aux @ liste in 
liste;;

Mais là :

let cyclique n = let rec liste = (repète n) @ liste in liste;;
>                                           ^^^^^^^
Ce genre d'expressions n'est pas autorisé comme membre droit d'un "let rec".

Est-ce seulement un problème de syntaxe ou bien y a-t-il impossibilité 
absolue, la taille de la liste servant de période devant être connue à la 
compilation ?

Cordialement, Jean-Denis Eiden