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?
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
