On Wed, Mar 7, 2012 at 11:44, Matej Košík <5764c029b688c1c0d24a2e97cd7...@gmail.com> wrote: > I have found one (I guess unnecessary) disadvantage over `deriving'. > If you process your *.ml file with sexplib/bin_prot preprocessor, you > have to append "with ..." suffix to every type definition, otherwise you > will get a an error report from the preprocessor. `Deriving' does not > force you to do that. You can annotate only those type definitions, > which for you makes sense to annotate.
I'm not sure what the perceived problem is, but there should be no need to annotate all type definitions. It should suffice to annotate those for which converters are needed. This, of course, means that any types that a type definition is referring to will also need annotations (or hand-written conversion functions). Regards, Markus -- Markus Mottl http://www.ocaml.info markus.mo...@gmail.com -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
