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

[David Scott <scott.dj@xxxxxxxxx>]

Dropping 4.00.1 is also fine by me!

On Wednesday, January 15, 2014, Anil Madhavapeddy  wrote:
> 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


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