projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6dcb7b8) | patch
switch to readMaybe to handle values with leading number followed by non-number
authorJoey Hess <joeyh@joeyh.name>
Thu, 22 Dec 2022 18:26:35 +0000 (14:26 -0400)
committerJoey Hess <joeyh@joeyh.name>
Thu, 22 Dec 2022 18:33:47 +0000 (14:33 -0400)
commit2fa7656627d8d21eb5a8305f5044fb6a35169510
treeaaf385cac79a4bf557a271ce15165942e5b59596tree | snapshot
parent6dcb7b88155d010c2c684c58422464d72a9a7871commit | diff
switch to readMaybe to handle values with leading number followed by non-number

readish ignores a trailing string after a number, but to support values
like "YYYY:MM:DD" which it makes sense to compare lexographically,
require the whole string to be parsed as a number in order to enable
numeric comparison.

Sponsored-by: Max Thoursie on Patreon
Annex/MetaData.hs diff | blob | history
doc/todo/--metadata_fieldname__62____61__VALUE_string_comparison/comment_3_9c298fbda8d395fe9b8395105708c3bd._comment [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.