Merge pull request #91 from shonfeder/fix-build-warnings

Fix a few build warnings
This commit is contained in:
Simon Cruanes 2025-06-09 09:04:52 -04:00 committed by GitHub
commit 8779823fda
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 3 deletions

View file

@ -1,4 +1,3 @@
module TLS = Thread_local_storage
module Fiber = Eio.Fiber
open struct

View file

@ -1226,9 +1226,9 @@ module Trace = struct
}
[@@deprecated "use Scope.t"]
let add_event = Scope.add_event [@@deprecated "use Scope.add_event"]
let (add_event [@deprecated "use Scope.add_event"]) = Scope.add_event
let add_attrs = Scope.add_attrs [@@deprecated "use Scope.add_attrs"]
let (add_attrs [@deprecated "use Scope.add_attrs"]) = Scope.add_attrs
let with_' ?(force_new_trace_id = false) ?trace_state ?service_name
?(attrs : (string * [< value ]) list = []) ?kind ?trace_id ?parent ?scope