Regardless of the final scheme adopted for error handling, it seems that a type such as Result.t is important to share among libraries. Since depending on Core_kernel will stir debate, why not release an OPAM package "result" declaring Result.t together with a few useful functions (including monadic combinators) and ask Jane Street if they would agree that Core_kernel reexports it in order to be compatible? I know that one could dispense with that using polymorphic variants but, apart from the better efficiency, I think the slightly stricter type checking would also be beneficial.
What do you think? _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
