Email list hosting service & mailing list manager

naming comments Alex Shinn (13 Jul 2005 03:29 UTC)
Re: naming comments Matthew Flatt (13 Jul 2005 12:49 UTC)
Re: naming comments bear (13 Jul 2005 15:38 UTC)

Re: naming comments bear 13 Jul 2005 15:38 UTC


On Wed, 13 Jul 2005, Alex Shinn wrote:

>Also, as to the terms
>
>  whitespace
>  lower-case
>  upper-case
>
>both proper English and Unicode terminology suggest these be
>
>  white-space
>  lowercase
>  uppercase

Agreed.  IMO, that's one of the bits of the standard that should
have been changed long ago.  It will cause a flag day for users
though; I suggest adding the latter names and removing the earlier
ones (and if anyone objects, I can write an R5RS->R6RS porting
program that gets at least the name changes right...).

				Bear