Discussion :

[Tangui]

Bonsior tout le monde,

j'ai une fonction apply_rec qui appelle trans_union, trans_concat et trans_repet. Ces trois fonctions appellent en retour apply_rec.

J'ai bien mis des rec devant ces fonctions, mais j'ai cette erreur :

Code :

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

1
2
File "Thompson.ml", line 42, characters 16-27:
Unbound value trans_union

(dans le code source trans_union est après apply_rec et l'erreur ligne 42 est bien dans apply_rec).

Bref, comment faire de la récursivité sur plusieurs fonctions ?

D'avance merci,

Tangui

[SpiceGuid]

La récursion mutuelle se fait avec let rec ... and ...
Un exemple tiré de mon tutoriel :

Code OCaml :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
let rec eval (b: bitboard ) n =
  if n = 10 then Tie
  else eval_list (play_moves b) (succ n)
and eval_list l n =
  let rec loop l acc =
    if acc = Second then acc
    else match l with
    | [] -> acc
    | h::t ->
       ( match eval h n with
       | First  -> Second
       | Second -> loop t acc
       | Tie    -> loop t Tie )
  in loop l First;;

[Tangui]

En effet ça marche, bien qu'un bug à un autre endroit me faisait croire que non.

Merci et désolé pour le dérangement