anil.recoil.org / opam-repository
this repo has no description
fork atom

Upper bounds in http-mirage-client

Error:
```
File "test/test.ml", line 22, characters 2-70:
22 | Happy_eyeballs_mirage.Make (Time) (Mclock) (Tcpip_stack_socket.V4V6)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: The functor application is ill-typed.
These arguments:
Time Mclock Tcpip_stack_socket.V4V6
do not match these parameters:
functor (S : Tcpip.Stack.V4V6) -> ...
1. The following extra argument is provided
Time : sig val sleep_ns : int64 -> unit Lwt.t end
2. The following extra argument is provided
Mclock :
sig
val elapsed_ns : unit -> int64
val period_ns : unit -> int64 option
end
3. Modules do not match:
Tcpip_stack_socket.V4V6 :
sig
type t = Tcpip_stack_socket.V4V6.t
val disconnect : t -> unit Lwt.t
module UDP = Tcpip_stack_socket.V4V6.UDP
module TCP = Tcpip_stack_socket.V4V6.TCP
module IP = Tcpip_stack_socket.V4V6.IP
val udp : t -> UDP.t
val tcp : t -> TCP.t
val ip : t -> IP.t
val listen : t -> unit Lwt.t
val connect : Udpv4v6_socket.t -> Tcpv4v6_socket.t -> t Lwt.t
end
is not included in
Tcpip.Stack.V4V6
... In module UDP:
Values do not match:
val listen :
t ->
port:int ->
(src:Ipaddr.t ->
dst:('a, Ipaddr.V6.t) Ipaddr.v4v6 ->
src_port:int -> Cstruct.t -> unit Lwt.t) ->
unit
is not included in
val listen : t -> port:int -> callback -> unit
The type
t ->
port:int ->
(src:Ipaddr.t ->
dst:('a, Ipaddr.V6.t) Ipaddr.v4v6 ->
src_port:int -> Cstruct.t -> unit Lwt.t) ->
unit
is not compatible with the type t -> port:int -> callback -> unit
Type
src:Ipaddr.t ->
dst:('a, Ipaddr.V6.t) Ipaddr.v4v6 ->
src_port:int -> Cstruct.t -> unit Lwt.t
is not compatible with type
callback =
src:ipaddr ->
dst:ipaddr -> src_port:int -> Cstruct.t -> unit Lwt.t
Type ('a, Ipaddr.V6.t) Ipaddr.v4v6 is not compatible with type
ipaddr = Ipaddr.t
File "src/core/udp.mli", line 26, characters 2-48:
Expected declaration
File "src/stack-unix/udpv4v6_socket.ml", line 170, characters 4-10:
Actual declaration
```

Hannes Mehnert 5fd97ced 44d80366

options
unified split
Changed files
+3
packages
http-mirage-client
http-mirage-client.0.0.6
opam
http-mirage-client.0.0.7
opam
http-mirage-client.0.0.8
opam
+1
packages/http-mirage-client/http-mirage-client.0.0.6/opam 
···

       
22

       
 

       
  "mirage-crypto-rng" {with-test}


     

       
23

       
 

       
  "mirage-time-unix" {with-test & >= "3.0.0"}


     

       
24

       
 

       
  "h2" {>= "0.10.0"}


     

       

       

       
     

       
25

       
 

       
]


     

       
26

       
 

       
build: [


     

       
27

       
 

       
  ["dune" "subst"] {dev}


     
···

       
22

       
 

       
  "mirage-crypto-rng" {with-test}


     

       
23

       
 

       
  "mirage-time-unix" {with-test & >= "3.0.0"}


     

       
24

       
 

       
  "h2" {>= "0.10.0"}


     

       
25

       
+

       
  "happy-eyeballs-mirage" {< "2.0.0"}


     

       
26

       
 

       
]


     

       
27

       
 

       
build: [


     

       
28

       
 

       
  ["dune" "subst"] {dev}
+1
packages/http-mirage-client/http-mirage-client.0.0.7/opam 
···

       
24

       
 

       
  "h2" {>= "0.10.0"}


     

       
25

       
 

       
  "tls" {>= "1.0.0"}


     

       
26

       
 

       
  "x509" {>= "1.0.0"}


     

       

       

       
     

       
27

       
 

       
]


     

       
28

       
 

       
build: [


     

       
29

       
 

       
  ["dune" "subst"] {dev}


     
···

       
24

       
 

       
  "h2" {>= "0.10.0"}


     

       
25

       
 

       
  "tls" {>= "1.0.0"}


     

       
26

       
 

       
  "x509" {>= "1.0.0"}


     

       
27

       
+

       
  "happy-eyeballs-mirage" {< "2.0.0"}


     

       
28

       
 

       
]


     

       
29

       
 

       
build: [


     

       
30

       
 

       
  ["dune" "subst"] {dev}
+1
packages/http-mirage-client/http-mirage-client.0.0.8/opam 
···

       
24

       
 

       
  "h2" {>= "0.10.0"}


     

       
25

       
 

       
  "tls" {>= "1.0.0"}


     

       
26

       
 

       
  "x509" {>= "1.0.0"}


     

       

       

       
     

       
27

       
 

       
]


     

       
28

       
 

       
build: [


     

       
29

       
 

       
  ["dune" "subst"] {dev}


     
···

       
24

       
 

       
  "h2" {>= "0.10.0"}


     

       
25

       
 

       
  "tls" {>= "1.0.0"}


     

       
26

       
 

       
  "x509" {>= "1.0.0"}


     

       
27

       
+

       
  "happy-eyeballs-mirage" {< "2.0.0"}


     

       
28

       
 

       
]


     

       
29

       
 

       
build: [


     

       
30

       
 

       
  ["dune" "subst"] {dev}