Re: [MirageOS-devel] Error handling in Mirage - request for comments!

[Daniel BÃnzli <daniel.buenzli@xxxxxxxxxxxx>]

Le mardi, 3 fÃvrier 2015 Ã 19:30, Ashish Agarwal a Ãcrit :
> type tcp_connection_refused = [`TCP_connection_refused]
> type tcp_error = [tcp_connection_refused | `Another_err]

And it should be added, as Leo already mentioned, that if you gathered together 
errors from multiple sources you can easily select only `tcp_error`s by doing  

match e with
| #tcp_error as e -> â
| #other_named_class_of_error as e ->  
| â

Daniel



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