From 5b218f87bd59cfe9d510410c9acf78b5485391e1 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 5 May 2017 15:01:15 +0200
Subject: 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.
---
 kernel/names.mli | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'kernel/names.mli')

diff --git a/kernel/names.mli b/kernel/names.mli
index be9b9422b7..5b0163aa55 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
-- 
cgit v1.2.3