Re: [MirageOS-devel] irminsule merge

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

Le vendredi, 11 avril 2014 Ã 18:29, Thomas Gazagnaire a Ãcrit :
> I've also started to write a simple combinator library for merge operations 
> (which needs to be extended):
>  
> https://github.com/samoht/irminsule/blob/master/lib/core/irminMerge.mli
No deep look at this but I see an exception for Conflicts. Any reason why 
conflicts are not represented explicitly and conflict resolution managed 
through other combinators ?  

Daniel



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