Merge pull request #129 from hannesm/add-prefix-to-type

add type constraint for prefix (since mirage-tcpip 8.1.0)
mirage · Dec 9, 2024 · 9967d56 · 9967d56
2 parents 15f3f9a + 1d35e91
commit 9967d56
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/charrua-client.opam b/charrua-client.opam
@@ -34,7 +34,7 @@ depends: [
   "fmt"
   "ethernet" {>= "3.0.0"}
   "arp" {>= "3.0.0"}
-  "tcpip" {>= "7.0.0"}
+  "tcpip" {>= "8.1.0"}
   "lwt" {>= "4.0.0"}
 ]
 build: [

diff --git a/client/mirage/dhcp_ipv4.mli b/client/mirage/dhcp_ipv4.mli
@@ -15,7 +15,7 @@
  *)
 
 module Make(R : Mirage_crypto_rng_mirage.S) (C : Mirage_clock.MCLOCK) (Time : Mirage_time.S) (Network : Mirage_net.S) (E : Ethernet.S) (Arp : Arp.S) : sig
-  include Tcpip.Ip.S with type ipaddr = Ipaddr.V4.t
+  include Tcpip.Ip.S with type ipaddr = Ipaddr.V4.t and type prefix = Ipaddr.V4.Prefix.t
   val connect : Network.t -> E.t -> Arp.t -> t Lwt.t
     (** Connect to an ipv4 device using information from a DHCP lease. *)
 end