Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[new release] tcpip (9.0.0) #27400

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

hannesm
Copy link
Member

@hannesm hannesm commented Feb 6, 2025

OCaml TCP/IP networking stack, used in MirageOS

CHANGES:

@hannesm
Copy link
Member Author

hannesm commented Feb 7, 2025

revdeps fixed in #27401

CHANGES:

* Adapt to mirage-crypto-rng 1.2.0 API (mirage/mirage-tcpip#526 @hannesm)
* Use dune variants instead of functors for TIME, MCLOCK, PCLOCK
  -- now using mirage-sleep and mirage-mtime (mirage/mirage-tcpip#526 @hannesm)
@hannesm hannesm force-pushed the release-tcpip-v9.0.0 branch from 6f93d0e to b266a65 Compare February 7, 2025 21:55
File "client/mirage/dhcp_ipv4.ml", line 6, characters 10-40:
6 |   include Static_ipv4.Make(R)(C)(E)(Arp)
              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: The functor application is ill-typed.
       These arguments:
         R C E Arp
       do not match these parameters:
         functor (E : Ethernet.S) (A : Arp/2.S) -> ...
       1. The following extra argument is provided
              R :
              sig
                type g = Mirage_crypto_rng.g
                module Entropy :
                  sig
                    type source = Mirage_crypto_rng.Entropy.source
                    val sources : unit -> source list
                    val pp_source : Format.formatter -> source -> unit
                    val register_source : string -> source
                  end
                val generate_into : ?g:g -> bytes -> ?off:int -> int -> unit
                val generate : ?g:g -> int -> string
                val accumulate :
                  g option -> Entropy.source -> [ `Acc of string -> unit ]
              end
       2. The following extra argument is provided
              C :
              sig
                val elapsed_ns : unit -> int64
                val period_ns : unit -> int64 option
              end
       3. Module E matches the expected module type Ethernet.S
       4. Module Arp matches the expected module type Arp/2.S

File "lib/ipv4/qubesdb_ipv4.ml", line 7, characters 10-47:
7 |   include Static_ipv4.Make(R)(C)(Ethernet)(Arp)
              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: The functor application is ill-typed.
       These arguments:
         R C Ethernet Arp
       do not match these parameters:
         functor (E : Ethernet/2.S) (A : Arp/2.S) -> ...
       1. The following extra argument is provided
              R :
              sig
                type g = Mirage_crypto_rng.g
                module Entropy :
                  sig
                    type source = Mirage_crypto_rng.Entropy.source
                    val sources : unit -> source list
                    val pp_source : Format.formatter -> source -> unit
                    val register_source : string -> source
                  end
                val generate_into : ?g:g -> bytes -> ?off:int -> int -> unit
                val generate : ?g:g -> int -> string
                val accumulate :
                  g option -> Entropy.source -> [ `Acc of string -> unit ]
              end
       2. The following extra argument is provided
              C :
              sig
                val elapsed_ns : unit -> int64
                val period_ns : unit -> int64 option
              end
       3. Module Ethernet matches the expected module type Ethernet/2.S
       4. Module Arp matches the expected module type Arp/2.S
@hannesm
Copy link
Member Author

hannesm commented Feb 8, 2025

CI looks good, the irmin-cli is addressed in #27407

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant