From cc58e022babff01222533d5902ed4c3ede338aa8 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 7 Jan 2021 15:50:43 +0100
Subject: [PATCH] [kernel] linting special_hooks.ml
---
.Makefile.lint | 1 -
src/kernel_internals/runtime/special_hooks.ml | 25 ++++++++++---------
2 files changed, 13 insertions(+), 13 deletions(-)
diff --git a/.Makefile.lint b/.Makefile.lint
index 5a4002feff4..0f24c301fb5 100644
--- a/.Makefile.lint
+++ b/.Makefile.lint
@@ -6,7 +6,6 @@ ML_LINT_KO+=src/kernel_internals/parsing/lexerhack.ml
ML_LINT_KO+=src/kernel_internals/parsing/logic_preprocess.mli
ML_LINT_KO+=src/kernel_internals/runtime/boot.ml
ML_LINT_KO+=src/kernel_internals/runtime/machdeps.ml
-ML_LINT_KO+=src/kernel_internals/runtime/special_hooks.ml
ML_LINT_KO+=src/kernel_internals/typing/allocates.ml
ML_LINT_KO+=src/kernel_internals/typing/frontc.mli
ML_LINT_KO+=src/kernel_internals/typing/infer_annotations.ml
diff --git a/src/kernel_internals/runtime/special_hooks.ml b/src/kernel_internals/runtime/special_hooks.ml
index 80af5733678..6ebb0d2e05f 100644
--- a/src/kernel_internals/runtime/special_hooks.ml
+++ b/src/kernel_internals/runtime/special_hooks.ml
@@ -35,15 +35,15 @@ let print_config () =
FRAMAC_PLUGIN = %S%t@."
Fc_config.version_and_codename
Fc_config.datadir Fc_config.libdir Fc_config.plugin_path
- (fun fmt ->
- if Fc_config.preprocessor = "" then
- Format.fprintf fmt "@\nWarning: no default pre-processor"
- else if not Fc_config.preprocessor_keep_comments then
- Format.fprintf fmt
- "@\nWarning: default pre-processor is not able to keep comments \
- (hence ACSL annotations) in its output")
+ (fun fmt ->
+ if Fc_config.preprocessor = "" then
+ Format.fprintf fmt "@\nWarning: no default pre-processor"
+ else if not Fc_config.preprocessor_keep_comments then
+ Format.fprintf fmt
+ "@\nWarning: default pre-processor is not able to keep comments \
+ (hence ACSL annotations) in its output")
;
- );
+ );
raise Cmdline.Exit
end
let () = Cmdline.run_after_early_stage print_config
@@ -54,7 +54,8 @@ let print_config get value () =
raise Cmdline.Exit
end
-let print_version = print_config Kernel.PrintVersion.get Fc_config.version_and_codename
+let print_version =
+ print_config Kernel.PrintVersion.get Fc_config.version_and_codename
let () = Cmdline.run_after_early_stage print_version
let print_sharepath = print_config Kernel.PrintShare.get Fc_config.datadir
@@ -76,9 +77,9 @@ let () = Cmdline.run_after_early_stage print_pluginpath
let () =
Cmdline.run_after_extended_stage
(fun () ->
- State_dependency_graph.add_dependencies
- ~from:Ast.self
- !Parameter_builder.ast_dependencies)
+ State_dependency_graph.add_dependencies
+ ~from:Ast.self
+ !Parameter_builder.ast_dependencies)
(**************************************************************************)
(* Hooks run when restoring a saved file *)
--
GitLab