[Ur] HTML5 support (was: Re: PATCH: <progress> tag)
Karn Kallio
tierpluspluslists at gmail.com
Sat Sep 24 17:22:33 EDT 2011
On Saturday, September 24, 2011 05:16:32 PM Adam Chlipala wrote:
> austin seipp wrote:
> > I was going to strike a compromise and ask if it would be allowable to
> > reject any HTML5 elements by default unless a '-html5' flag was passed
> > or something, since that seems much more sound, but beyond elements
> > there are a few new attribute definitions as well as deprecations etc.
>
> That sounds nasty, but it could easily be supported by splitting some
> HTML stuff into separate .urs files that are used based on command-line
> flags or project settings.
>
> I'd like to wait for other opinions to be expressed here.
>
Maybe work towards allowing arbitrary schemas defined in libraries, so the
output could be html5, atom, soap, etc. Of course this is very easy to say
and I imagine considerably harder to implement.
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
More information about the Ur
mailing list