Skip to content

Commit 36b56c4

Browse files
committed
Upgrade dune lang, silence new warnings
1 parent d03cfd0 commit 36b56c4

File tree

5 files changed

+6
-4
lines changed

5 files changed

+6
-4
lines changed

dune-project

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
(lang dune 2.7)
1+
(lang dune 3.1)

src/app/client_sdk/tests/dune

+2-2
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@
2424
(preprocessor_deps ../../../config.mlh)
2525
(instrumentation (backend bisect_ppx))
2626
(preprocess (pps ppx_version ppx_optcomp ppx_custom_printf))
27-
(flags -short-paths -g -w @a-4-29-40-41-42-44-45-48-58-59-60))
27+
(flags -short-paths -g -w @a-4-29-34-40-41-42-44-45-48-58-59-60))
2828

2929
(executable
3030
(package client_sdk)
@@ -50,4 +50,4 @@
5050
(preprocessor_deps ../../../config.mlh)
5151
(instrumentation (backend bisect_ppx))
5252
(preprocess (pps ppx_version ppx_optcomp ppx_custom_printf))
53-
(flags -short-paths -g -w @a-4-29-40-41-42-44-45-48-58-59-60))
53+
(flags -short-paths -g -w @a-4-29-34-40-41-42-44-45-48-58-59-60))

src/app/replayer/dune

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
(executable
22
(package replayer)
33
(name replayer)
4+
(flags -w -32-34)
45
(public_name replayer)
56
(libraries
67
;; opam libraries

src/dune-project

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
(lang dune 2.7)
1+
(lang dune 3.1)
22
(implicit_transitive_deps false)

src/lib/precomputed_values/gen_values/dune

+1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
(executable
22
(name gen_values)
3+
(flags -w -32)
34
(libraries
45
;; opam libraries
56
stdio

0 commit comments

Comments
 (0)