+1 for https://gwt-review.googlesource.com/#/c/14430/ It's a big one! I opened a GitHub ticket for it: https://github.com/gwtproject/gwt/issues/9427
Thanks On Monday, September 19, 2016 at 7:45:43 PM UTC+10, Jakob Jarosch wrote: > > Hi, > even it is a bit late, but we where a bit surprised that a merge request, > opened half a year ago, was still not merged. > The bug forces us to maintain our own GWT. > https://gwt-review.googlesource.com/#/c/14430/ > > And then some not so important things (but its really sad, that no one > cares about the merge requests...): > https://gwt-review.googlesource.com/#/c/11520/ > https://gwt-review.googlesource.com/#/c/11470/ > https://gwt-review.googlesource.com/#/c/11414/ > https://gwt-review.googlesource.com/#/c/11460/ > > Yes, I can see some of them are now in a merge conflict state, but a year > ago they were not. > I can see that this looks for everyone as a Google only project when > nothing gets reviewed/merged. So it's no surprise that no one is motivated > to contribute. > > Regards, > Jakob > > On Saturday, September 10, 2016 at 3:35:37 PM UTC+2, Arnaud TOURNIER wrote: >> >> Makes sense! So better to have a "nostrict" option for the special cases >> Thanks >> >> Le sam. 10 sept. 2016 14:57, Jens <[email protected]> a écrit : >> >>> >>> Thank you I will try that -strict option. >>>> >>>> My suggestion is that exported @JsType (when the -generateJsExport >>>> option is turned on) should be considered as entrypoints and generate >>>> compilation errors, what do you think ? >>>> >>> >>> I think that -strict should be the default everywhere. I don't really >>> see any value at all in not using -strict. Maybe some people do but then >>> they should disable -strict. I use it since I use GWT and never had a >>> reason to not use it. >>> >>> -- J. >>> >>> -- >>> You received this message because you are subscribed to a topic in the >>> Google Groups "GWT Contributors" group. >>> To unsubscribe from this topic, visit >>> https://groups.google.com/d/topic/google-web-toolkit-contributors/33Zw3nP3q7o/unsubscribe >>> . >>> To unsubscribe from this group and all its topics, send an email to >>> [email protected]. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/google-web-toolkit-contributors/d28e825a-c095-4812-a1c8-99527ba88f06%40googlegroups.com >>> >>> <https://groups.google.com/d/msgid/google-web-toolkit-contributors/d28e825a-c095-4812-a1c8-99527ba88f06%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/b41c168e-9aae-42c6-a1cb-acf123acbbdc%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
