[MirageOS-devel] Drop OCaml 4.00.1 support?

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

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