Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:21
proper
0008-Fix-typos-287.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0008-Fix-typos-287.patch of Package proper
From 7b71bc4071a309a29c93b4d3a3b74574e6d8619f Mon Sep 17 00:00:00 2001 From: Kian-Meng Ang <kianmeng.ang@gmail.com> Date: Wed, 19 Jan 2022 15:19:56 +0800 Subject: [PATCH] Fix typos (#287) Thanks for your contribution and your interest in improving PropEr's code base. --- examples/car_fsm.erl | 2 +- examples/car_statem.erl | 2 +- examples/mastermind.erl | 2 +- scripts/make_doc | 2 +- src/proper.erl | 8 ++++---- src/proper_erlang_abstract_code.erl | 2 +- src/proper_fsm.erl | 4 ++-- src/proper_statem.erl | 4 ++-- src/proper_symb.erl | 4 ++-- src/proper_target.erl | 2 +- src/proper_typeserver.erl | 2 +- test/proper_exported_types_test.erl | 2 +- 12 files changed, 18 insertions(+), 18 deletions(-) diff --git a/examples/car_fsm.erl b/examples/car_fsm.erl index 21fa719..e56a14e 100644 --- a/examples/car_fsm.erl +++ b/examples/car_fsm.erl @@ -328,7 +328,7 @@ prop_distance() -> end)). %% Targeted property based testing, where maximizing the distance travelled -%% provides failing command sequencies more consistently. +%% provides failing command sequences more consistently. prop_distance_targeted() -> ?FORALL_TARGETED( Cmds, proper_fsm:commands(?MODULE), diff --git a/examples/car_statem.erl b/examples/car_statem.erl index 2a8e39c..833ba2e 100644 --- a/examples/car_statem.erl +++ b/examples/car_statem.erl @@ -257,7 +257,7 @@ prop_distance() -> end)). %% Targeted property based testing, where maximizing the distance travelled -%% provides failing command sequencies more consistently. +%% provides failing command sequences more consistently. prop_distance_targeted() -> ?FORALL_TARGETED( Cmds, commands(?MODULE), diff --git a/examples/mastermind.erl b/examples/mastermind.erl index 059db2d..f355c0f 100644 --- a/examples/mastermind.erl +++ b/examples/mastermind.erl @@ -409,7 +409,7 @@ next_comb_tr(_MaxColor, [X | Rest], Acc) -> %% combinations): %% * if the guess list is empty, return [[0,0,...,0]], else: %% * sort the guesses by applying a selectivity heuristic (guesses whose -%% score will result in more combinations being rejected are prefered) +%% score will result in more combinations being rejected are preferred) %% * take the first guess-score pair and produce all the combinations it's %% compatible with %% * filter the list with the rest of the pairs diff --git a/scripts/make_doc b/scripts/make_doc index 0c9fdbf..4eb382e 100755 --- a/scripts/make_doc +++ b/scripts/make_doc @@ -27,7 +27,7 @@ %%% the application's source files, after inlining all types %%% denoted as aliases, and removing from the exported types lists %%% all types denoted as private. -%%% Known Bugs: * This scipt is very hacky, it will probably break easily. +%%% Known Bugs: * This script is very hacky, it will probably break easily. %%% * Record declarations with no type information are discarded. %%% * Any text inside the same multi-line comment as an @alias or %%% @private_type tag will be discarded. diff --git a/src/proper.erl b/src/proper.erl index f52aaef..6f779d4 100644 --- a/src/proper.erl +++ b/src/proper.erl @@ -129,7 +129,7 @@ %%% be of interest. %%% %%% == Program behaviour == -%%% When running in verbose mode (this is the default), each sucessful test +%%% When running in verbose mode (this is the default), each successful test %%% prints a '.' on screen. If a test fails, a '!' is printed, along with the %%% failing test case (the instances of the types in every `?FORALL') and the %%% cause of the failure, if it was not simply the falsification of the @@ -147,7 +147,7 @@ %%% <ul> %%% <li>`true': The property held for all valid produced inputs.</li> %%% <li>`false': The property failed for some input.</li> -%%% <li>`{error, <Type_of_error>}': An error occured; see the {@section Errors} +%%% <li>`{error, <Type_of_error>}': An error occurred; see the {@section Errors} %%% section for more information.</li> %%% </ul> %%% @@ -197,7 +197,7 @@ %%% <li>`true': The property now holds for this test case.</li> %%% <li>`false': The test case still fails (although not necessarily for the %%% same reason as before).</li> -%%% <li>`{error, <Type_of_error>}': An error occured - see the {@section Errors} +%%% <li>`{error, <Type_of_error>}': An error occurred - see the {@section Errors} %%% section for more information.</li> %%% </ul> %%% @@ -338,7 +338,7 @@ %%% == Errors == %%% The following errors may be encountered during testing. The term provided %%% for each error is the error type returned by proper:quickcheck in case such -%%% an error occurs. Normaly, a message is also printed on screen describing +%%% an error occurs. Normally, a message is also printed on screen describing %%% the error. %%% %%% <dl> diff --git a/src/proper_erlang_abstract_code.erl b/src/proper_erlang_abstract_code.erl index 6d8ad67..64cac0f 100644 --- a/src/proper_erlang_abstract_code.erl +++ b/src/proper_erlang_abstract_code.erl @@ -1809,7 +1809,7 @@ type_specifier(N, IsLast, L) -> a_type_specifier(IsLast0, L) -> %% A bit sloppy. Cannot generate [{unit, 8}, binary], for example. - %% Maybe do nothing here and everyting in post_process()? + %% Maybe do nothing here and everything in post_process()? IsLast = IsLast0 andalso not is_chosen(unit, L), UnitWeight = case is_member([bitstring, bits, bytes, binary], L) of true -> 0; diff --git a/src/proper_fsm.erl b/src/proper_fsm.erl index 94c33a7..b9e7845 100644 --- a/src/proper_fsm.erl +++ b/src/proper_fsm.erl @@ -93,7 +93,7 @@ %%% `['{@type transition()}`]' %%% <p>There should be one instance of this function for each reachable state %%% `{StateName,Attr1,...,AttrN}' of the finite state machine. The function -%%% has similar beaviour to `StateName/1', described above.</p></li> +%%% has similar behaviour to `StateName/1', described above.</p></li> %%% <li> `weight(From::'{@type state_name()}`, %%% Target::'{@type state_name()}`, %%% Call::'{@type symbolic_call()}`) -> non_neg_integer()' @@ -312,7 +312,7 @@ state_names(History) -> %% ----------------------------------------------------------------------------- -%% Proper_statem bahaviour callback functions +%% Proper_statem behaviour callback functions %% ----------------------------------------------------------------------------- -spec initial_state(mod_name()) -> state(). diff --git a/src/proper_statem.erl b/src/proper_statem.erl index c5a2a3d..efbe1ce 100644 --- a/src/proper_statem.erl +++ b/src/proper_statem.erl @@ -611,7 +611,7 @@ run_commands(Mod, Cmds) -> %% @doc Similar to {@link run_commands/2}, but also accepts an environment, %% used for symbolic variable evaluation during command execution. The %% environment consists of `{Key::atom(), Value::term()}' pairs. Keys may be -%% used in symbolic variables (i.e. `{var,Key}') whithin the command sequence +%% used in symbolic variables (i.e. `{var,Key}') within the command sequence %% `Cmds'. These symbolic variables will be replaced by their corresponding %% `Value' during command execution. @@ -713,7 +713,7 @@ safe_apply(M, F, A) -> %% sequential component.</li> %% <li>`Parallel_history' contains the execution history of each of the %% concurrent tasks.</li> -%% <li>`Result' specifies the outcome of the attemp to serialize command +%% <li>`Result' specifies the outcome of the attempt to serialize command %% execution, based on the results observed. In addition to results %% returned by {@link run_commands/2}, it can also be the atom %% `no_possible_interleaving'.</li> diff --git a/src/proper_symb.erl b/src/proper_symb.erl index fb01200..5928334 100644 --- a/src/proper_symb.erl +++ b/src/proper_symb.erl @@ -56,7 +56,7 @@ %%% <dd>Identical to the above, but gets evaluated automatically before being %%% applied to a property.</dd> %%% <dt id="var">`{var,'{@type var_id()}`}'</dt> -%%% <dd>This contruct serves as a placeholder for values that are not known at +%%% <dd>This construct serves as a placeholder for values that are not known at %%% type construction time. It will be replaced by the actual value of the %%% variable during evaluation.</dd> %%% </dl> @@ -92,7 +92,7 @@ %%% document your code and facilitate spec testing, you can include the %%% complementary header file `proper/include/proper_param_adts.hrl', which %%% provides the corresponding `-type' definitions. Please note that Dialyzer -%%% currenty treats these the same way as their non-parametric counterparts. +%%% currently treats these the same way as their non-parametric counterparts. %%% %%% The use of Auto-ADT is currently subject to the following limitations: %%% <ul> diff --git a/src/proper_target.erl b/src/proper_target.erl index 06bfbc0..4b3165c 100644 --- a/src/proper_target.erl +++ b/src/proper_target.erl @@ -37,7 +37,7 @@ %%% %%% ```prop_target() -> % Try to check that %%% ?EXISTS(Input, Params, % some input exists -%%% begin % that fullfills the property. +%%% begin % that fulfills the property. %%% UV = SUT:run(Input), % Do so by running SUT with Input %%% ?MAXIMIZE(UV), % and maximize its Utility Value %%% UV < Threshold % up to some Threshold. diff --git a/src/proper_typeserver.erl b/src/proper_typeserver.erl index 1065a68..657980d 100644 --- a/src/proper_typeserver.erl +++ b/src/proper_typeserver.erl @@ -104,7 +104,7 @@ %%% where: %%% ``` -type rec() :: #rec{}. %%% -record(rec, {a = 0 :: integer(), b = 'nil' :: 'nil' | #rec{}}). ''' -%%% A little rewritting can usually remedy this problem as well: +%%% A little rewriting can usually remedy this problem as well: %%% ``` ?FORALL(..., rec(), ...) ''' %%% where: %%% ``` -type rec() :: #rec{b :: 'nil'} | #rec{b :: rec()}. diff --git a/test/proper_exported_types_test.erl b/test/proper_exported_types_test.erl index a5a9d24..7b7e801 100644 --- a/test/proper_exported_types_test.erl +++ b/test/proper_exported_types_test.erl @@ -28,7 +28,7 @@ -export([not_handled/0]). %% -%% Checks that the automatic traslation of types to generators can handle all +%% Checks that the automatic translation of types to generators can handle all %% types (structured + opaque) which are exported by some module of PropEr. %% To do so, it tests that the following functions: %% - `proper_typeserver:demo_translate_type/2`, -- 2.35.3
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor