Re: [MirageOS-devel] Drop OCaml 4.00.1 support?

[Jon Ludlam <jjl25@xxxxxxxxx>]

Fine by me. Who needs 4.00.1 when you have opam? :-)

Jon

Sent from my iPad

> On 14 Jan 2014, at 15:57, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
> 
> We currently support both OCaml 4.00.1 and 4.01.0.  I've got two reasons to 
> propose dropping OCaml 4.00.1 support:
> 
> - Thomas' extremely useful combinator support uses fancy GADTs that don't 
> work in 4.00.1: https://github.com/mirage/mirage/pull/190
> 
> - I'm refactoring the runtime library to install cross-compilation headers 
> (see James Bielman's request a while back), and it's extra work to port both 
> runtimes.
> 
> Given the easy availability of OCaml 4.01.0 PPAs now, I'm happy to drop 
> 4.00.1 support unless anyone wants to speak up against.
> 
> cheers,
> Anil
> _______________________________________________
> MirageOS-devel mailing list
> MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

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