diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Camlcoq.ml | 6 | ||||
| -rw-r--r-- | lib/Readconfig.mll | 4 |
2 files changed, 5 insertions, 5 deletions
diff --git a/lib/Camlcoq.ml b/lib/Camlcoq.ml index c50b3230..c5fb2e55 100644 --- a/lib/Camlcoq.ml +++ b/lib/Camlcoq.ml @@ -86,7 +86,7 @@ module P = struct if n = 0l then assert false else Coq_xO (of_int32 (Int32.shift_right_logical n 1)) - else + else if n = 1l then Coq_xH else Coq_xI (of_int32 (Int32.shift_right_logical n 1)) @@ -101,7 +101,7 @@ module P = struct if n = 0L then assert false else Coq_xO (of_int64 (Int64.shift_right_logical n 1)) - else + else if n = 1L then Coq_xH else Coq_xI (of_int64 (Int64.shift_right_logical n 1)) @@ -295,7 +295,7 @@ let intern_string s = next_atom := Pos.succ !next_atom; Hashtbl.add atom_of_string s a; Hashtbl.add string_of_atom a s; - a + a let extern_atom a = try Hashtbl.find string_of_atom a diff --git a/lib/Readconfig.mll b/lib/Readconfig.mll index 27ef32cf..ec2f6bb0 100644 --- a/lib/Readconfig.mll +++ b/lib/Readconfig.mll @@ -28,7 +28,7 @@ let error msg lexbuf = lexbuf.lex_curr_p.pos_lnum, msg))) -let ill_formed_line lexbuf = error "Ill-formed line" lexbuf +let ill_formed_line lexbuf = error "Ill-formed line" lexbuf let unterminated_quote lexbuf = error "Unterminated quote" lexbuf let lone_backslash lexbuf = error "Lone \\ (backslash) at end of file" lexbuf @@ -41,7 +41,7 @@ let ident = ['A'-'Z' 'a'-'z' '_'] ['A'-'Z' 'a'-'z' '0'-'9' '_' '.']* rule begline = parse | '#' [^ '\n']* ('\n' | eof) { Lexing.new_line lexbuf; begline lexbuf } - | whitespace* (ident as key) whitespace* '=' + | whitespace* (ident as key) whitespace* '=' { let words = unquoted false [] lexbuf in Hashtbl.add key_val_tbl key (List.rev words); begline lexbuf } |