From ...
Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.esat.net!nslave.kpnqwest.net!nloc.kpnqwest.net!nmaster.kpnqwest.net!nreader3.kpnqwest.net.POSTED!not-for-mail
Newsgroups: comp.lang.lisp
Subject: Re: PROGN for *ML?
References:
Mail-Copies-To: never
From: Erik Naggum
Message-ID: <3214652776114128@naggum.net>
Organization: Naggum Software, Oslo, Norway
Lines: 21
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Tue, 13 Nov 2001 15:06:17 GMT
X-Complaints-To: newsmaster@Norway.EU.net
X-Trace: nreader3.kpnqwest.net 1005663977 193.71.66.49 (Tue, 13 Nov 2001 16:06:17 MET)
NNTP-Posting-Date: Tue, 13 Nov 2001 16:06:17 MET
Xref: archiver1.google.com comp.lang.lisp:19792
* Tim Bradshaw
| 1. Am I right to think there is no general PROGN-type element in HTML?
You could probably get away with using SPAN.
| 2. I suspect that it might be very hard to define such an element in an
| SGML/XML DTD at all, without huge work. Basically as far as I can see
| this would have to work by saying that if any element had content model
| x, then it could also have a content model of PROGN, and somehow the
| PROGN would then have a content model of x.
This is done by faking it. ANY is a valid content model. Then you write
up a "semantic contraints" paragraph in your "specification" that burdens
your implementation with what the *ML "validator" should have done.
///
--
Norway is now run by a priest from the fundamentalist Christian People's
Party, the fifth largest party representing one eighth of the electorate.
--
Carrying a Swiss Army pocket knife in Oslo, Norway, is a criminal offense.