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 Thu, 14 Jul 2005, Thomas Bushnell BSG wrote: > I don't want case-sensitive symbols. I think we should say that > symbols may or may not be case-sensitive. > In my opinion, case-folding on symbols in a fancy-schmancy Unicode > system should fold together case and also diacriticals. This is a > common way of handling things. The canonical printed form of a symbol > would be that in which it was first encountered, or perhaps could even > be mutable. It could be done that way, I guess, provided that (eq? sym (string->symbol(symbol->string sym))) -> #t for all symbols is preserved. But honestly, I don't want to specify case-folding in a character set that makes case-folding as hairy as Unicode does. Bear