[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Module inclusion error in 4.01

On 18 Dec 2013, at 14:38, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:

>>> Dave and I are seeing a new error with 4.01.0 with this standalone MLI file 
>>> in mirage-types (it works with 4.00.1):
>>> https://raw.github.com/djs55/mirage-types/2634b03bcf99f0aba9696ede5a60bf8b67f0db30/lib/v1.mli
>>> File "lib/v1.mli", line 250, characters 4-23:
>>> Error: This variant or record definition does not match that of type error
>>>      Their kinds differ.
>>> Command exited with code 2.
>> The simplest fix is to simply leave the error type abstract until the
>> leaf module types.  
> I've implemented that solution there:
> https://github.com/samoht/mirage-types/commit/98bf70a92cbbab5ba38d80f45f344a32c474864c

This is looking much better!  Would it be possible to separate out the various 
bits of the pull request though?

- The V1 module type shouldn't have any interface breaking changes, as those 
can be reserved for V2 (and we can just bump all the dependent libraries at our 
leisure then to the new scheme).

- Do we really need OASIS for this?  

MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.