Tu as raison, il faut rajouter un paramètre :
Sous Haskell ce paramètre est fourni automatiquement par la Typeclass Typeable (ce qui évite également que 'a et le type ne s'accorde pas), mais sous OCaml tu es obligé de le fournir également, à moins que le préprocesseur ne puisse faire ça ? A-t-il les informations nécessaires ?
Code : Sélectionner tout - Visualiser dans une fenêtre à part string -> type -> 'a
--
Jedaï
Partager