[om] Re: [CfD] Proposal for a Standard Change

Michael Kohlhase Michael_Kohlhase at asuka.mt.cs.cmu.edu
Tue Sep 24 18:06:01 CEST 2002


> spelling

[... noted thanks ...]

> I suggest that you look at the wording for the common lisp reader/writer for
> circular lists in the ANSI standard.

That is a good idea. Will do.

> I see no reason for an OM object not to be able to dominate itself, if
> I understand the document. I see lots of reasons to allow this. In 
> particular,
> I might actually want to encode an infinite expression.  Your concern is
> probably that it could lead to difficulties in display. So fix
> the display program. Lisp has a flag called something like
> *circle-print*.

I totally that this is ALSO a reasonable position and could be an
interesting proposal for a standard change. 

As I noted in my previous e-mail, I encourage anyone to go ahead and make
this proposal and champion it. 

I just happen to think that my proposal is less invasive (it does not
change the underlying data model), and that is why I am championing it.


om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems

More information about the Om mailing list