diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-05 15:01:15 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-20 14:05:55 +0200 |
commit | 5b218f87bd59cfe9d510410c9acf78b5485391e1 (patch) | |
tree | 4e00be786036b205091326d80bb5bef416759346 /kernel/names.mli | |
parent | 11851daee3a14f784cc2a30536a8f69be62c4f62 (diff) |
Revised behavior on ill-formed identifiers.
Namely: Replacing (currently deactivated) warning on illegal ident by
an error in strict mode and nothing in soft mode.
Diffstat (limited to 'kernel/names.mli')
-rw-r--r-- | kernel/names.mli | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/kernel/names.mli b/kernel/names.mli index be9b9422b..5b0163aa5 100644 --- a/kernel/names.mli +++ b/kernel/names.mli @@ -46,11 +46,12 @@ sig val of_bytes : bytes -> t val of_string : string -> t (** Converts a string into an identifier. - @raise UserError if the string is not valid, or echo a warning if it contains invalid identifier characters. + @raise UserError if the string is invalid as an identifier. @raise Unicode.Unsupported if the provided string contains unsupported UTF-8 characters. *) val of_string_soft : string -> t - (** Same as {!of_string} except that no warning is ever issued. + (** Same as {!of_string} except that any string made of supported UTF-8 characters is accepted. + @raise UserError if the string is invalid as an UTF-8 string. @raise Unicode.Unsupported if the provided string contains unsupported UTF-8 characters. *) val to_string : t -> string |