Also Daniel's point about compile-time errors are important. That could be potentially handled with error-prone checkers.
On Mon, Feb 9, 2015 at 9:39 AM, Goktug Gokdogan <[email protected]> wrote: > > > On Fri, Feb 6, 2015 at 8:31 PM, Benjamin DeLillo <[email protected]> > wrote: > >> For an implementation to be accepted would it have to conform to the entire >> Java Formater spec? >> http://docs.oracle.com/javase/7/docs/api/java/util/Formatter.html >> >> We may have 'known' limitations. > >> Would an implementation lacking the Date/Time conversions be acceptable? >> >> Yes, I think that is a possibility. > >> Would an implementation that wraps sprintf.js be acceptable (if the >> licensing is compatible)? https://github.com/alexei/sprintf.js >> >> >> I prefer stuff in core to be pure Java if there is no strong reason to do > otherwise. > > What about a minimal positional substitution implementation and nothing more? >> >> Not sure about this one; perhaps other people may have a good arguments > for one way or the other. > > >> -- >> You received this message because you are subscribed to the Google Groups >> "GWT Contributors" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/google-web-toolkit-contributors/bc6afdc0-eb87-4815-b076-6db912f8f94c%40googlegroups.com >> <https://groups.google.com/d/msgid/google-web-toolkit-contributors/bc6afdc0-eb87-4815-b076-6db912f8f94c%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> For more options, visit https://groups.google.com/d/optout. >> > > -- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/CAN%3DyUA2rhkYhiOcCuvHa36ciH3KyVCH-0tQcaQNyZ-5mn%2BhfyQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
