20 Oct
2010
20 Oct
'10
1:15 p.m.
On 10/20/10 10:51 AM, Yitzchak Gale wrote:
2. mailHeaders should have an Ord instance that compares case-insensitively, though the underlying Strings should remain Strings.
What is the intended use case? Since many uses of Ord imply filtering out duplicates, this seems like it could result in getting inconsistent capitalization. Granted, the RFC says it's case-insensitive, but some folks like their aesthetics... (then again, those folks should probably use case-normalizers. I'm mostly just curious if the Ord is intended for Data.Map or what.) -- Live well, ~wren