From 41e2b04d710b9c4aa387003f254450e54032e925 Mon Sep 17 00:00:00 2001
From: hondet <gabrielhondet@gmail.com>
Date: Wed, 15 Dec 2021 10:57:41 +0100
Subject: [PATCH] formatting
---
.github/workflows/proof_tools.yml | 2 ++
proofs/psnj_toolbox/bin/main.ml | 2 +-
proofs/psnj_toolbox/pipe_tests/ex/dune | 3 ++-
proofs/psnj_toolbox/pipe_tests/ex/ex.ml | 4 ++--
proofs/psnj_toolbox/pipe_tests/hello/dune | 3 ++-
proofs/psnj_toolbox/pipe_tests/hello/hello.ml | 2 +-
proofs/psnj_toolbox/pipe_tests/multiproofs/dune | 3 ++-
7 files changed, 12 insertions(+), 7 deletions(-)
diff --git a/.github/workflows/proof_tools.yml b/.github/workflows/proof_tools.yml
index be40fbe..d067d83 100644
--- a/.github/workflows/proof_tools.yml
+++ b/.github/workflows/proof_tools.yml
@@ -28,5 +28,7 @@ jobs:
run: |
cd proofs/psnj_toolbox || exit 1
opam install . --deps-only --yes
+ opam install ocamlformat
+ opam exec -- dune build @fmt
opam exec -- dune build
opam exec -- dune test
diff --git a/proofs/psnj_toolbox/bin/main.ml b/proofs/psnj_toolbox/bin/main.ml
index 74810c2..ccf1814 100644
--- a/proofs/psnj_toolbox/bin/main.ml
+++ b/proofs/psnj_toolbox/bin/main.ml
@@ -13,7 +13,7 @@ let cmds =
Autosolve.cmd;
Qfo.cmd;
Group.cmd;
- Pipe.cmd
+ Pipe.cmd;
]
let () = Term.(exit @@ eval_choice default_cmd cmds)
diff --git a/proofs/psnj_toolbox/pipe_tests/ex/dune b/proofs/psnj_toolbox/pipe_tests/ex/dune
index a02c2cd..ae001bc 100644
--- a/proofs/psnj_toolbox/pipe_tests/ex/dune
+++ b/proofs/psnj_toolbox/pipe_tests/ex/dune
@@ -7,4 +7,5 @@
(glob_files encoding/*)
(glob_files spec/main.lp))
(libraries unix)
- (action (run ./ex.exe %{bin:psnj})))
+ (action
+ (run ./ex.exe %{bin:psnj})))
diff --git a/proofs/psnj_toolbox/pipe_tests/ex/ex.ml b/proofs/psnj_toolbox/pipe_tests/ex/ex.ml
index ff49298..cb263ff 100644
--- a/proofs/psnj_toolbox/pipe_tests/ex/ex.ml
+++ b/proofs/psnj_toolbox/pipe_tests/ex/ex.ml
@@ -4,8 +4,8 @@ let () =
(Filename.quote_command Sys.argv.(1)
[ "pipe"; "--qfo"; "encoding/qfo.json"; "ex.log" ])
with
- | Unix.WEXITED 0 ->
- ignore @@ Unix.system (Filename.quote_command "cat" ["exi.lp"])
+ | Unix.WEXITED 0 ->
+ ignore @@ Unix.system (Filename.quote_command "cat" [ "exi.lp" ])
| Unix.WEXITED n ->
Format.eprintf "Command exited with code %d@." n;
exit 1
diff --git a/proofs/psnj_toolbox/pipe_tests/hello/dune b/proofs/psnj_toolbox/pipe_tests/hello/dune
index cfaa9d6..507c94e 100644
--- a/proofs/psnj_toolbox/pipe_tests/hello/dune
+++ b/proofs/psnj_toolbox/pipe_tests/hello/dune
@@ -7,4 +7,5 @@
(glob_files encoding/*)
(glob_files spec/main.lp))
(libraries unix)
- (action (run ./hello.exe %{bin:psnj})))
+ (action
+ (run ./hello.exe %{bin:psnj})))
diff --git a/proofs/psnj_toolbox/pipe_tests/hello/hello.ml b/proofs/psnj_toolbox/pipe_tests/hello/hello.ml
index 0a64c40..939fe02 100644
--- a/proofs/psnj_toolbox/pipe_tests/hello/hello.ml
+++ b/proofs/psnj_toolbox/pipe_tests/hello/hello.ml
@@ -5,7 +5,7 @@ let () =
[ "pipe"; "--qfo"; "encoding/qfo.json"; "hello.log" ])
with
| Unix.WEXITED 0 ->
- ignore (Unix.system (Filename.quote_command "cat" ["hello.lp"]))
+ ignore (Unix.system (Filename.quote_command "cat" [ "hello.lp" ]))
| Unix.WEXITED n ->
Format.eprintf "Command exited with code %d@." n;
exit 1
diff --git a/proofs/psnj_toolbox/pipe_tests/multiproofs/dune b/proofs/psnj_toolbox/pipe_tests/multiproofs/dune
index f8b2749..3d19766 100644
--- a/proofs/psnj_toolbox/pipe_tests/multiproofs/dune
+++ b/proofs/psnj_toolbox/pipe_tests/multiproofs/dune
@@ -7,4 +7,5 @@
(glob_files encoding/*)
(glob_files spec/main.lp))
(libraries unix)
- (action (run ./mp.exe %{bin:psnj})))
+ (action
+ (run ./mp.exe %{bin:psnj})))
--
GitLab