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

Re: [MirageOS-devel] Signature mismatch in tcpip 2.2.3



Very good point -- this is something we need to incorporate into the new OPAM 
1.2 pinning workflow.

If the `version` field in the `opam` file in the Git repository is out of date, 
then all the wrong constraints will be picked up, so it's important that we 
commit an accurate version number.

This will be fixed soon in https://github.com/mirage/mirage-tcpip/pull/124, but 
feel free to report issues against any other repository that exhibits this 
problem (or a pull request, of course).

-anil

> On 7 Apr 2015, at 11:45, Ania Skorupa <ania.skorupa@xxxxxxxxx> wrote:
> 
> Ah, I cloned tcpip from its github repository. Although the version is 2.4.0 
> based on _oasis, opam installs it as 2.2.3.
> 
> 
> 
> On Tuesday, April 7, 2015 9:48 AM, Ania Skorupa <ania.skorupa@xxxxxxxxx> 
> wrote:
> 
> 
> I have pinned tcpip 2.2.3 to opam and receive the following error when 
> building a network application (e.g. network in mirage-skeleton):
> 
> Error: Signature mismatch:
>        Modules do not match:
>          functor (C : V1.CLOCK) (T : V1_LWT.TIME) ->
>            sig
>              type buffer = Cstruct.t
>              type ethif = Stackv41_E.t
>              type ipaddr = Ipaddr.V4.t
>              type prefix = Ipaddr.V4.t
>              type error = [ `Unimplemented | `Unknown of string ]
>              type 'a io = 'a Lwt.t
>              type t = Ipv4.Make(Stackv41_E)(C)(T).t
>              val disconnect : t -> unit io
>              type callback = src:ipaddr -> dst:ipaddr -> buffer -> unit io
>              val input :
>                t ->
>                tcp:callback ->
>                udp:callback ->
>                default:(proto:int -> callback) -> buffer -> unit io
>              val allocate_frame :
>                t ->
>                dst:ipaddr -> proto:[ `ICMP | `TCP | `UDP ] -> buffer * int
>              val write : t -> buffer -> buffer -> unit io
>              val writev : t -> buffer -> buffer list -> unit io
>              val checksum : buffer -> buffer list -> int
>              val get_source : t -> dst:ipaddr -> ipaddr
>              val set_ip : t -> ipaddr -> unit io
>              val get_ip : t -> ipaddr list
>              val set_ip_netmask : t -> prefix -> unit io
>              val get_ip_netmasks : t -> prefix list
>              val set_ip_gateways : t -> ipaddr list -> unit io
>              val get_ip_gateways : t -> ipaddr list
>              type uipaddr = Ipaddr.t
>              val to_uipaddr : ipaddr -> uipaddr
>              val of_uipaddr : uipaddr -> ipaddr option
>              val input_arpv4 : t -> buffer -> unit io
>              val connect : ethif -> [> `Error of error | `Ok of t ] Lwt.t
>            end
>        is not included in
>          V1_LWT.IP
> 
> Any hotfix for that?
> 
> 
> _______________________________________________
> 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


 


Rackspace

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