On Friday 14 October 2016 at 16:18, Anil Madhavapeddy wrote:
> This is largely within libraries, so the impact wouldn't be too bad. I do
> notice that PCLOCK, MCLOCK and IP types do use option to signify failure
> though, which would be mirage-types churn...
PCLOCK and MCLOCK do not use options to signify failure they use options to
denote absence of information. You can turn these into failure with
Rresult.R.of_option if you consider this missing information to be a problem.
MirageOS-devel mailing list