[Caml-list] conjunctive type in polymorphic variants

Hi all, I have just met a strange problem (it might have already been answered, but I can't find the it) while using camlp4 to generate a polymorphic type like: type t = [ `A of int * int | `B of string ] error msg "The present constructor A has a conjunctive type" is thrown by the compiler. I

[Caml-list] TSI numéro spécial ANALYSE STATIQ UE et COMPILATION (2e appel)

[Veuillez nous excusez pour les réceptions multiples éventuelles. N'hésitez pas à diffuser largement cet appel.] Technique et Science Informatiques (TSI) 2e appel à propositions d'articles sur le thème APPLICATION DES MÉTHODES FORMELLES À