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