diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-09-18 15:06:42 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-09-18 15:06:42 +0000 |
| commit | bf08866eabad4408de975bae92f3b3c1f718322c (patch) | |
| tree | faab2a63879ce58c26ed5439a21af47a06226051 /lib/util.mli | |
| parent | 4422e16f529359bb96c7eee214b2b6648958ef48 (diff) | |
More cleanup of Util: utf8 aspects moved to a new file unicode.ml
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15818 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/util.mli')
| -rw-r--r-- | lib/util.mli | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lib/util.mli b/lib/util.mli index 1333d1854..694e79ce4 100644 --- a/lib/util.mli +++ b/lib/util.mli @@ -33,7 +33,6 @@ val is_letter : char -> bool val is_digit : char -> bool val is_ident_tail : char -> bool val is_blank : char -> bool -val next_utf8 : string -> int -> int * int (** {6 Strings. } *) @@ -55,15 +54,6 @@ val parse_loadpath : string -> string list module Stringset : Set.S with type elt = string module Stringmap : Map.S with type key = string -type utf8_status = UnicodeLetter | UnicodeIdentPart | UnicodeSymbol - -exception UnsupportedUtf8 - -val ident_refutation : string -> (bool * string) option -val classify_unicode : int -> utf8_status -val lowercase_first_char_utf8 : string -> string -val ascii_of_ident : string -> string - (** {6 Lists. } *) module List : CList.ExtS |