• [^] # Fin de solution.

    Posté par . En réponse au message [OCaml] Problème de type avec les modules. Évalué à 1. Dernière modification le 24 février 2013 à 14:06. 

    module A2 : (Ai with type b = Int_set.elt) = A(Int_set);;
let pas_bien = A2.f 1;;
val pas_bien : A2.a = <abstr>

    C'est plus sympa que d'espèrer que le compilateur va briser l'abstraction de type, ce qui rendrait le language un peu caduque. I.e. vouloir faire en sorte que Ai.b = int c'est mal comprendre l'intérêt de ce système de typage, mais bon cela viendra avec la pratique, courage ! ;-)

    http://caml.inria.fr/pub/docs/manual-ocaml-4.00/manual018.html