bug#14776: 24.3.50; [PATCH] parse-time-string performance

[Lars Magne Ingebrigtsen]

Andreas Politz <politza@hochschule-trier.de> writes:

> Like strptime ?

Or parse-datetime:

http://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;f=lib/parse-datetime.y

> Probably not worth it, since it doesn't seem to be a bottleneck,
> contrary to what I was suggesting. Or are there other reasons ?

It's not much of a bottleneck, no:

(benchmark-elapse (dotimes (i 10000) (parse-time-string "Thu, 04 Jul 2013 
20:06:00 +0200")))
=> 1.120856647

But sorting a summary buffer of 5K messages on Date (which some people
do) might get a performance boost.  But I was thinking that it might be
more likely that parse-datetime parses more date strings correctly than
the version in parse-time.el.  

-- 
(domestic pets only, the antidote for overdose, milk.)
  bloggy blog http://lars.ingebrigtsen.no/