From 898b14359c37efa6f51f2084e540df053baa74fe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 9 Jan 2019 10:48:32 +0100
Subject: [PATCH] [lib/json] linting
---
.Makefile.lint | 1 -
src/libraries/utils/json.mli | 10 +++++-----
src/plugins/wp/ProofScript.ml | 12 ++++++------
3 files changed, 11 insertions(+), 12 deletions(-)
diff --git a/.Makefile.lint b/.Makefile.lint
index 61f5274d3a2..f213229e557 100644
--- a/.Makefile.lint
+++ b/.Makefile.lint
@@ -215,7 +215,6 @@ ML_LINT_KO+=src/libraries/utils/hptset.ml
ML_LINT_KO+=src/libraries/utils/hptset.mli
ML_LINT_KO+=src/libraries/utils/indexer.ml
ML_LINT_KO+=src/libraries/utils/indexer.mli
-ML_LINT_KO+=src/libraries/utils/json.mli
ML_LINT_KO+=src/libraries/utils/leftistheap.mli
ML_LINT_KO+=src/libraries/utils/pretty_utils.ml
ML_LINT_KO+=src/libraries/utils/pretty_utils.mli
diff --git a/src/libraries/utils/json.mli b/src/libraries/utils/json.mli
index bc9c04f6210..80572727852 100644
--- a/src/libraries/utils/json.mli
+++ b/src/libraries/utils/json.mli
@@ -23,17 +23,17 @@
(** Json Library
Remarks:
- - UTF-8 escaping is not supported;
- - Parsers are less {i strict} than Json format;
- - Printers are supposed to {i strictly} conforms to Json format;
- - [Number] can be used to encode non OCaml-primitive numbers,
+ - UTF-8 escaping is not supported;
+ - Parsers are less {i strict} than Json format;
+ - Printers are supposed to {i strictly} conforms to Json format;
+ - [Number] can be used to encode non OCaml-primitive numbers,
for instance Zarith.
*)
(** Json Objects
Same type than [Yojson.Basic.json]
- *)
+*)
type json =
[ `Assoc of (string * json) list
| `Bool of bool
diff --git a/src/plugins/wp/ProofScript.ml b/src/plugins/wp/ProofScript.ml
index ddc124c5d6e..1b2356ceb66 100644
--- a/src/plugins/wp/ProofScript.ml
+++ b/src/plugins/wp/ProofScript.ml
@@ -286,12 +286,12 @@ let jtactic ~title (tac : tactical) (sel : selection) =
let json_of_tactic t js =
`Assoc [
- "header" , `String t.header ;
- "tactic" , `String t.tactic ;
- "params" , t.params ;
- "select" , t.select ;
- "children" , `Assoc js ;
- ]
+ "header" , `String t.header ;
+ "tactic" , `String t.tactic ;
+ "params" , t.params ;
+ "select" , t.select ;
+ "children" , `Assoc js ;
+ ]
let children_of_json = function
| `List js ->
--
GitLab