Merge pull request #487 from hannesm/fixes

hannesm · web-flow · commit afa354f71e73 · 2022-07-04T14:36:36.000+02:00
minor fixes in TCP code
diff --git a/src/tcp/ack.ml b/src/tcp/ack.ml
@@ -37,7 +37,7 @@ end
 module Immediate : M = struct
 
   type t = {
-    mutable send_ack: Sequence.t Lwt_mvar.t;
+    send_ack: Sequence.t Lwt_mvar.t;
     mutable pushpending: bool;
   }
 
diff --git a/src/tcp/segment.ml b/src/tcp/segment.ml
@@ -14,8 +14,6 @@
  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  *)
 
-[@@@ocaml.warning "-3"]
-
 open Lwt.Infix
 
 let src = Logs.Src.create "tcp.segment" ~doc:"Mirage TCP Segment module"
diff --git a/src/tcp/user_buffer.ml b/src/tcp/user_buffer.ml
@@ -15,8 +15,6 @@
  * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  *)
 
-[@@@ocaml.warning "-3"]
-
 open Lwt.Infix
 
 let lwt_sequence_add_l s seq =

Original file line number	Diff line number	Diff line change
`@@ -37,7 +37,7 @@ end`
`37`	`37`	`module Immediate : M = struct`
`38`	`38`
`39`	`39`	`type t = {`
`40`		`- mutable send_ack: Sequence.t Lwt_mvar.t;`
	`40`	`+ send_ack: Sequence.t Lwt_mvar.t;`
`41`	`41`	`mutable pushpending: bool;`
`42`	`42`	`}`
`43`	`43`