John Prevost <visigoth@cs.cmu.edu> writes:

>>>>>> "jm" == Jérôme Marant <jerome.marant@free.fr> writes:

> Actually, this is not a counter-example, it's just a place where the
> current O'Caml format typing rules are insufficient.  In this case,
> there's a simple reason the two types are different: the formats are
> incompatible.  What you want is:
>
> fr: " %d %s"
> de: " %2$s %1$d"

  Well, it was wrong indeed and Pixel gave the reasons.

  Regards,

-- 
Jérôme Marant

http://marant.org
              
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners