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

Reply via email to