darcs patch: Prompt.hs: mv uniqSort to next to its co... (and 3 more)
Wed Oct 8 15:26:45 EDT 2008 gwern0@gmail.com * Prompt.hs: mv uniqSort to next to its confreres, and mention the trade-off Wed Oct 8 16:46:49 EDT 2008 gwern0@gmail.com * Prompt.hs: tweak haddocks Wed Oct 8 16:47:10 EDT 2008 gwern0@gmail.com * Prompt.hs: have historyCompletion filter dupes Specifically, it calls deleteConsecutiveDuplicates on the end product. uniqSort reverses order in an unfortunate way, so we don't use that. The use-case is when a user has added the same input many times - as it stands, if the history records 30 'top's or whatever, the completion will show 30 'top' entries! This fixes that. Wed Oct 8 16:51:31 EDT 2008 gwern0@gmail.com * Prompt.hs rename deleteConsecutiveDuplicates That name is really unwieldy and long.
gwern0@gmail.com wrote (08 Oct 2008 20:54:18 GMT) :
* Prompt.hs: have historyCompletion filter dupes Specifically, it calls deleteConsecutiveDuplicates on the end product. uniqSort reverses order in an unfortunate way, so we don't use that. The use-case is when a user has added the same input many times - as it stands, if the history records 30 'top's or whatever, the completion will show 30 'top' entries! This fixes that.
Fixing this annoyance would make me happy.
Bye,
--
intrigeri
On Wed, Oct 08, 2008 at 04:54:18PM -0400, gwern0@gmail.com wrote:
Wed Oct 8 15:26:45 EDT 2008 gwern0@gmail.com * Prompt.hs: mv uniqSort to next to its confreres, and mention the trade-off
Wed Oct 8 16:46:49 EDT 2008 gwern0@gmail.com * Prompt.hs: tweak haddocks
Wed Oct 8 16:47:10 EDT 2008 gwern0@gmail.com * Prompt.hs: have historyCompletion filter dupes Specifically, it calls deleteConsecutiveDuplicates on the end product. uniqSort reverses order in an unfortunate way, so we don't use that. The use-case is when a user has added the same input many times - as it stands, if the history records 30 'top's or whatever, the completion will show 30 'top' entries! This fixes that.
Wed Oct 8 16:51:31 EDT 2008 gwern0@gmail.com * Prompt.hs rename deleteConsecutiveDuplicates That name is really unwieldy and long.
Applied, thanks.
participants (3)
-
gwern0＠gmail.com -
intrigeri -
Spencer Janssen