12 Oct
2017
12 Oct
'17
1:52 p.m.
On Sunday, 8 October 2017 23:26:56 CEST Richard W.M. Jones wrote:
Instead of using ‘xpath_(string|int|int64)_default’ we can write the equivalent code using ‘Option.default’. This is not quite so concise, but may be easier to understand.
eg: xpath_int_default xctx "xpath_expr" 10 -> Option.default 10 (xpath_int xctx "xpath_expr") ---
LGTM. Thanks, -- Pino Toscano