Declaration recursive - Objective Caml

Bonjour,

Je debute en OCaml et j'ai un petit probleme :
Comment declarer un type somme A qui utilise le type d'une classe B, mais avec la classe B qui utilise le type A elle aussi.
Si je declare A en premier, ocaml me dit qu'il ne connait pas B et si je met B en 1er, il me dis qu'il ne connait pas A, comment faire ?

1 réponse

  • Votes
  • Date
  • Date décroissante
  1. Modérateur
    type A =
    | Cons of B
    and B =
    |Cons2 of A

    ca marche pas ca ?
    ( OCaml c'est super comme langage )