case mappings
Alex Shinn
(13 Jul 2005 03:57 UTC)
|
Re: case mappings
Thomas Bushnell BSG
(13 Jul 2005 05:49 UTC)
|
Re: case mappings
Michael Sperber
(13 Jul 2005 06:41 UTC)
|
Re: case mappings
Thomas Bushnell BSG
(13 Jul 2005 06:47 UTC)
|
Re: case mappings
Michael Sperber
(13 Jul 2005 07:12 UTC)
|
Re: case mappings
Thomas Bushnell BSG
(13 Jul 2005 07:21 UTC)
|
Re: case mappings
bear
(13 Jul 2005 17:24 UTC)
|
Re: case mappings
Thomas Bushnell BSG
(13 Jul 2005 19:35 UTC)
|
Re: case mappings
Alex Shinn
(13 Jul 2005 07:55 UTC)
|
Re: case mappings
Alex Shinn
(13 Jul 2005 07:40 UTC)
|
Re: case mappings
Thomas Bushnell BSG
(13 Jul 2005 19:36 UTC)
|
Re: case mappings
Alex Shinn
(14 Jul 2005 02:39 UTC)
|
Re: case mappings
Thomas Bushnell BSG
(14 Jul 2005 07:15 UTC)
|
Re: case mappings
Alex Shinn
(14 Jul 2005 07:42 UTC)
|
Re: case mappings
Thomas Bushnell BSG
(14 Jul 2005 08:07 UTC)
|
Re: case mappings
Alex Shinn
(14 Jul 2005 08:24 UTC)
|
Re: case mappings
bear
(14 Jul 2005 16:47 UTC)
|
Re: case mappings
Thomas Bushnell BSG
(14 Jul 2005 20:29 UTC)
|
Re: case mappings
bear
(15 Jul 2005 18:23 UTC)
|
Re: case mappings
Thomas Bushnell BSG
(15 Jul 2005 19:52 UTC)
|
Re: case mappings
Matthew Flatt
(13 Jul 2005 13:05 UTC)
|
Re: case mappings
Thomas Bushnell BSG
(13 Jul 2005 19:39 UTC)
|
Re: case mappings Alex Shinn (14 Jul 2005 02:31 UTC)
|
On 7/13/05, Matthew Flatt <xxxxxx@cs.utah.edu> wrote: > > Although I agree that the 1-1 mapping is of limited use, my impression > and experience is that it's still useful (if, for nothing else, > interfacing to older code that uses a 1-1 mapping). So, pending further > discussion, I will leave the character-casing operations in place. Since we are proposing a new character based case mapping that doesn't exist in Unicode, we need to be clear what the semantics are. Specifically, unlike the R5RS ASCII based mapping (char=? (char-upcase c) (char-upcase (char-downcase c))) is no longer a tautology (nor the reverse direction). (char-ci=? a b) can no longer be defined as (char=? (char-upcase a) (char-upcase b)) or equivalently with char-downcase. Also (string-map char-upcase s) is not the same as (string-upcase s) -- Alex