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.

Daniel

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@lists.xenproject.org
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

Reply via email to