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

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 6 Dec 2013, at 22:25, Anil Madhavapeddy <anil@xxxxxxxxxx> 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.
> 
> We're trying to define progressively richer modules -- a DEVICE that becomes 
> a KV_RO (a read-only key/value store), which can be included into becoming a 
> FS (filesystem).  At each stage though, the error type is intended to grow 
> some more.  The error substitution seems to work for DEVICE->KV_RO, but fails 
> with this in KV_RO->FS.

The original error was due to an errant mismatch between a polymorphic variant 
and a normal one, now fixed.

There's still some difficulty in the variance of the polymorphic variant for 
the error type, so Dave's just duplicated the FS/KV_RO definitions in 
mirage/mirage-types for now.

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