From c2e93c53b1bbf379517c4a4121263a1816c8b318 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Tue, 11 Oct 2022 12:05:29 +0200 Subject: [PATCH] WASM: Remove trailing whitespaces in comments --- src/lib_scoru_wasm/wasm_pvm_sig.ml | 40 ++++++++++++++-------------- src/lib_scoru_wasm/wasm_pvm_state.ml | 2 +- 2 files changed, 21 insertions(+), 21 deletions(-) diff --git a/src/lib_scoru_wasm/wasm_pvm_sig.ml b/src/lib_scoru_wasm/wasm_pvm_sig.ml index e30cc010b419..a58de1e57401 100644 --- a/src/lib_scoru_wasm/wasm_pvm_sig.ml +++ b/src/lib_scoru_wasm/wasm_pvm_sig.ml @@ -25,13 +25,13 @@ (*****************************************************************************) open Wasm_pvm_state -(** This module type expose internals necessary for benchmarking. - - /!\ Not intended for unit tests: the functions could be used to redefine the - main execution loop, at the risk of departing from what is defined in the - PVM definition. [Internal_for_benchmark.compute_step_many_until] can use - custom stopping condition and therefore should not be used in unit test: - the test could hide regression if the condition change in the code, but not +(** This module type expose internals necessary for benchmarking. + + /!\ Not intended for unit tests: the functions could be used to redefine the + main execution loop, at the risk of departing from what is defined in the + PVM definition. [Internal_for_benchmark.compute_step_many_until] can use + custom stopping condition and therefore should not be used in unit test: + the test could hide regression if the condition change in the code, but not in the test. *) module type Internal_for_benchmark = sig open Internal_state @@ -42,14 +42,14 @@ module type Internal_for_benchmark = sig val encode : pvm_state -> tree -> tree Lwt.t - (** [compute_step_many_until_pvm_state max_step should_continue pvm_state] - advance forwards the VM in the same manners as [compute_step_many] - as long as [should_continue] returns true. - + (** [compute_step_many_until_pvm_state max_step should_continue pvm_state] + advance forwards the VM in the same manners as [compute_step_many] + as long as [should_continue] returns true. + IS applied on [pvm_state] rather than a tree. - - /!\ as it allows to redefine the stop condition, this function should - not be used in unit test: the test could hide regression if the + + /!\ as it allows to redefine the stop condition, this function should + not be used in unit test: the test could hide regression if the condition change in the code, but not in the test. *) val compute_step_many_until_pvm_state : @@ -58,12 +58,12 @@ module type Internal_for_benchmark = sig pvm_state -> pvm_state Lwt.t - (** [compute_step_many_until max_step should_continue tree] - advance forwards the VM in the same manners as [compute_step_many] - as long as [should_continue] returns true. - - /!\ as it allows to redefine the stop condition, this function should - not be used in unit test: the test could hide regression if the + (** [compute_step_many_until max_step should_continue tree] + advance forwards the VM in the same manners as [compute_step_many] + as long as [should_continue] returns true. + + /!\ as it allows to redefine the stop condition, this function should + not be used in unit test: the test could hide regression if the condition change in the code, but not in the test. *) val compute_step_many_until : diff --git a/src/lib_scoru_wasm/wasm_pvm_state.ml b/src/lib_scoru_wasm/wasm_pvm_state.ml index c20e8bf18845..d494d25fbe48 100644 --- a/src/lib_scoru_wasm/wasm_pvm_state.ml +++ b/src/lib_scoru_wasm/wasm_pvm_state.ml @@ -62,7 +62,7 @@ type info = { input_request : input_request; (** The current VM input request. *) } -(** This module type defines the state for the PVM. +(** This module type defines the state for the PVM. For use in lib_scoru_wasm only. *) module Internal_state = struct type tick_state = -- GitLab