diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-05-31 11:55:57 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-05-31 12:00:37 +0200 |
commit | 8b0724fdb1af4f89a603f7bde4b5b625c870e111 (patch) | |
tree | 728c79a8ed3f2d99a24d181f712665f3a80fbd23 /cparser/Diagnostics.mli | |
parent | e10555313645cf3c35f244f42afa5a03fba2bac1 (diff) | |
download | compcert-kvx-8b0724fdb1af4f89a603f7bde4b5b625c870e111.tar.gz compcert-kvx-8b0724fdb1af4f89a603f7bde4b5b625c870e111.zip |
Fix misspellings in messages, man pages, and comments
This is a manual, partial merge of Github pull request #296 by @Fourchaux.
flocq/, cparser/MenhirLib/ and parts of test/ have not been changed
because these are local copies and the fixes should be performed upstream.
Diffstat (limited to 'cparser/Diagnostics.mli')
-rw-r--r-- | cparser/Diagnostics.mli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/cparser/Diagnostics.mli b/cparser/Diagnostics.mli index ded8019f..6a3c11c8 100644 --- a/cparser/Diagnostics.mli +++ b/cparser/Diagnostics.mli @@ -22,22 +22,22 @@ exception Abort (** Exception raised upon fatal errors *) val check_errors : unit -> unit - (** Check whether errors occured and raise abort if an error occured *) + (** Check whether errors occurred and raise abort if an error occurred *) type warning_type = | Unnamed (** warnings which cannot be turned off *) | Unknown_attribute (** usage of unsupported/unknown attributes *) - | Zero_length_array (** gnu extension for zero lenght arrays *) + | Zero_length_array (** gnu extension for zero length arrays *) | Celeven_extension (** C11 features *) | Gnu_empty_struct (** gnu extension for empty struct *) - | Missing_declarations (** declation which do not declare anything *) + | Missing_declarations (** declaration which do not declare anything *) | Constant_conversion (** dangerous constant conversions *) | Int_conversion (** pointer <-> int conversions *) | Varargs (** promotable vararg argument *) | Implicit_function_declaration (** deprecated implicit function declaration *) | Pointer_type_mismatch (** pointer type mismatch in ?: operator *) | Compare_distinct_pointer_types (** comparison between different pointer types *) - | Implicit_int (** implict int parameter or return type *) + | Implicit_int (** implicit int parameter or return type *) | Main_return_type (** wrong return type for main *) | Invalid_noreturn (** noreturn function containing return *) | Return_type (** void return in non-void function *) |