Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

  • François Bobot's avatar
    stdlib: remove polymorphic hashtbl · 068ddc7b
    François Bobot authored
       - add functions to Hashtbl.S
       - without ocaml 3.12 its not possible to do that for Hashtbl without
         copying the signature
       - "open Stdlib" hides the polymorphic hashtbl, perhaps a good idea
         since that avoid errors.
    068ddc7b
ident.ml 6.55 KB