Rudi, Thanks for the reply! Great link! Trevor On Sat, Mar 14, 2015 at 5:17 PM Rudi Grinberg <[email protected]> wrote:
> Hi Trevor, > > This is the standard reference I usually refer people when they ask this: > http://stackoverflow.com/questions/9367181/variants-or-polymorphic-variants > > > <http://stackoverflow.com/questions/9367181/variants-or-polymorphic-variants> > In cohttp’s case I think the benefits listed in 2, 3, and 4 apply. > > Thanks, > > Rudi. > > > <http://stackoverflow.com/questions/9367181/variants-or-polymorphic-variants> > > On March 14, 2015 at 5:14:10 PM, Trevor Smith ( > [email protected]) wrote: > > I am curious to hear the design tradeoffs that were considered in choosing > polymorphic variants vs variants in the code.mli types. I haven't really > wrapped my head around why that decision was made, and am eager to learn > more about real world use of polymorphic variants. > >
_______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
