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.