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

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

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?  

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