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

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

Great; this is only for the metaprogramming layer (the Mirage command-line 
tool), so we'll continue to test the libraries themselves for now. 

The only other point raised by Daniel Buenzli on GitHub was a lurking bug in 
the 4.01.0 and libffi integration (which is used by Ctypes).  This isn't a 
critical blocker, so I expect we'll either switch to stub generation or figure 
out the libffi bug when we get to it in the future.

So: dropping 4.00.1 compatibility in Mirage 1.1.x it is.

-anil

On 14 Jan 2014, at 17:00, Jon Ludlam <jjl25@xxxxxxxxx> wrote:

> 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
> 


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