[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [MirageOS-devel] Using Result instead of Option in libraries
On 18 October 2016 at 15:00, Daniel Bünzli <daniel.buenzli@xxxxxxxxxxxx> wrote:
> On Tuesday 18 October 2016 at 15:41, Richard Mortier wrote:
>> Sorry-- not familiar enough with the terminology. Any chance one of
>> you could point to an example of using "inclusion rather than union"
>> please?
>
> type err = [ `Sub of Sub.err | `Other | ... ]
>
> vs
>
> type err = [ Sub.err | `Other | ... ]
Ah! Thanks :)
--
Richard Mortier
richard.mortier@xxxxxxxxxxxx
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
|
