[Ur] XHTML character entities (was: File I/O)

[James Parker]

Sorry for taking so long to get back to you. Yes, it now parses and
compiles "©". The only thing is Firefox 8 (OS X 10.7) adds an extra
character before the copyright symbol. I have attached a screenshot.

James Parker



On Sat, Nov 5, 2011 at 3:07 PM, Adam Chlipala <adamc at impredicative.com>wrote:

> Adam Chlipala wrote:
>
>> Marc Weber wrote:
>>
>>> Excerpts from Adam Chlipala's message of Tue Nov 01 14:34:11 +0100 2011:
>>>
>>>> The error message isn't meant to suggest it's invalid HTML, but merely
>>>> that the Ur/Web lexer doesn't support it yet.  I could copy-and-paste a
>>>> table of all valid HTML entities into the Ur/Web lexer/parser source
>>>> code.  Is that the best way to support all these little shorthands?
>>>> (You're not losing expressive power, as far as I know, since the
>>>> "&#NNN;" form is already supported.)
>>>>
>>> The best way is to make urweb read and understand xml dtd files or such.
>>> (my 2 cents)
>>>
>>
>> I'm looking at an HTML 4 DTD at w3.org, and the text "copy" doesn't
>> appear in it anywhere.  Are these character identities (e.g., "©")
>> really part of the DTD?
>>
>
> I found some files at w3.org that seem to specify this information.  I
> don't know if they're called "DTDs," but they seem to get the job done. :)
>
> The latest Mercurial repo version of Ur/Web now supports all the entities:
>    http://hg.impredicative.com/**urweb <http://hg.impredicative.com/urweb>
>
> James, could you verify that this feature now works as you expect?  Thanks!
>
> ______________________________**_________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/**cgi-bin/mailman/listinfo/ur<http://www.impredicative.com/cgi-bin/mailman/listinfo/ur>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20111115/2de7a6d3/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2011-11-15 at 11.28.27 PM.png
Type: image/png
Size: 10133 bytes
Desc: not available
URL: <http://www.impredicative.com/pipermail/ur/attachments/20111115/2de7a6d3/attachment.png>