[Ur] different browsers

[Adam Chlipala]

Gergely Buday wrote:
> is there any support for different browsers in Ur/Web as in GWT?
>
> "When the GWT Compiler compiles your client-side code, it determines
> all of the different “browser idiosyncrasies” it must support, and
> generates a separate, highly optimized version of the application for
> every specific configuration."
>    

Nothing like that is happening in the compiler now.  The JavaScript 
runtime system detects a few idiosyncrasies and modifies its behavior 
accordingly, but there is no static specialization.