[Ur] Several patches and questions

[Edward Z. Yang]

Excerpts from Adam Chlipala's message of Wed Dec 19 21:09:59 +0800 2012:
> On 12/19/2012 08:08 AM, Edward Z. Yang wrote:
> > Excerpts from Adam Chlipala's message of Wed Dec 19 21:02:18 +0800 2012:
> >    
> >>>       1. Some tags/attributes conflict with reserved keywords in Ur/Web
> >>>       (e.g. name) so we need a way of using that is not reserved but
> >>>       specifying the proper translation.
> >>>
> >>>        
> >> I grant you this one.  Might be enough of a pain in the ass to put off
> >> until someone requests it for a specific case. ;)
> >>      
> > Here are two specific requests, motivated as "Ur/Web on mobile" ;-)
> >
> >      1.<meta name="viewport" content="width=device-width, initial-scale=1">
> >      ("name" is reserved; note there are already some special-cased things in
> >      the Ur/Web compiler already)
> >
> >      2.<ul data-role="listview">
> >      (#Data-role is not a valid label since it contains a hyphen)
> >    
> 
> It doesn't strike me as epically awful to include a special mapping from 
> [Nam] to "name", and also to replace underscores with hyphens in forming 
> HTML attributes (with new parsing sugar to hide both of these rules).  
> Would that cover your projected near-term use cases?

Yup, those sound like adequate workarounds.

Cheers,
Edward