From aeca7656f499d7f4595319858f242276920e31bb Mon Sep 17 00:00:00 2001 From: Louis Gesbert Date: Sat, 2 Dec 2017 12:51:01 +0100 Subject: [PATCH] Fix for ocaml 4.06 --- common/criteria_lexer.mll | 8 ++++---- common/util.ml | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/common/criteria_lexer.mll b/common/criteria_lexer.mll index 71f9178..fc4eae3 100644 --- a/common/criteria_lexer.mll +++ b/common/criteria_lexer.mll @@ -18,7 +18,7 @@ let c = Lexing.lexeme_char lexbuf 2 in (* the delimiter can be any character *) (* find the terminating delimiter *) let endpos = - try String.index_from lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) c with + try Bytes.index_from lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) c with |Invalid_argument _ -> raise (Format822.Syntax_error ( Format822.error lexbuf "String too short")) @@ -27,9 +27,9 @@ Format822.error lexbuf (Printf.sprintf "cannot find: %c" c))) in let len = endpos - (lexbuf.lex_start_pos + 3) in - let s = String.sub lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) len in - lexbuf.Lexing.lex_curr_pos <- lexbuf.Lexing.lex_start_pos + ((String.length s)+4); - s + let s = Bytes.sub lexbuf.lex_buffer (lexbuf.lex_start_pos + 3) len in + lexbuf.Lexing.lex_curr_pos <- lexbuf.Lexing.lex_start_pos + ((Bytes.length s)+4); + Bytes.to_string s } diff --git a/common/util.ml b/common/util.ml index 598f266..36ca3d1 100644 --- a/common/util.ml +++ b/common/util.ml @@ -87,7 +87,7 @@ module MakeMessages(X : sig val label : string end) = struct let clean label = try let s = Filename.chop_extension (Filename.basename label) in - String.capitalize s + String.capitalize_ascii s with Invalid_argument _ -> label let create ?(enabled=false) label = -- 2.11.0 pe='search' size='10' name='q' value=''/>
path: root/gnu/packages/sequoia.scm
AgeCommit message (Expand)Author
2020-08-04gnu: rust-proc-macro2: Don't include minor version in variable name....Jakub Kądziołka
2020-06-23gnu: sequoia: Update to 0.17.0....Jakub Kądziołka
2020-06-22gnu: sequoia: Fix typos....Efraim Flashner
2020-06-22gnu: rust-regex-1.3: Rename to rust-regex-1....Efraim Flashner
2020-06-22gnu: rust-tempfile-3.1: Rename to rust-tempfile-3....Efraim Flashner
2020-05-11gnu: sequoia: Fix pkgconfig files....Hartmut Goebel
2020-05-05gnu: Add sequoia....Hartmut Goebel