On 18 Oct 2016, at 15:01, Richard Mortier <richard.mort...@cl.cam.ac.uk> wrote:
> On 18 October 2016 at 15:00, Daniel Bünzli <daniel.buen...@erratique.ch>
>> 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"
>> type err = [ `Sub of Sub.err | `Other | ... ]
>> type err = [ Sub.err | `Other | ... ]
> Ah! Thanks :)
Another example in Cohttp are the HTTP error codes, which are classified
in various polymorphic variant structures:
... to ...
MirageOS-devel mailing list