OCaml的：3.11

Question

我想要编译Libra toolkit运行Ubuntu哈代与OCaml的3.10的机器上之前NEW_LINE等价，我不能升级操作系统，也没有更新OCaml的，我不知道OCaml的事情。只有一条线，让我一个绑定值错误，因为它使用的NEW_LINE功能，这是在ocaml的3.11（http://caml.inria.fr/pub/docs/manual-ocaml/libref/Lexing.html）介绍，有人能告诉我如何改变它与OCaml的3.10兼容？它的邻近该代码的末尾行：

{ 
open MnParseTypes;; 
open MnParser;; 
(* Raised when parsing ends *) 
exception Eof;; 

module L = Lexing 
let linenum lexbuf = lexbuf.L.lex_curr_p.L.pos_lnum 

let line = ref 1;; 

let keywords = Hashtbl.create 10 
let _ = 
    List.iter2 (Hashtbl.add keywords) 
    ["mn"; "features"; "tree"; "table"; "w"; "eof"] 
    [Tmn; Tfeatures; Ttree; Ttable; Tweight; EOF];; 
} 

let digits = ['0'-'9']+ 
let identifier = ['a'-'z' 'A'-'Z']+ 

rule lexer = parse 
(* eat blank characters *) 
    [' ' '\t'] {lexer lexbuf} 
(* | "Feature list:" {lexer lexbuf} *) 
    | '{' {Tlbrace} 
    | '}' {Trbrace} 
    | '(' {Tlparen} 
    | ')' {Trparen} 
    | ('-')? "inf" {Tfloat(float_of_string(L.lexeme lexbuf))} 
    | identifier { 
     let x = String.lowercase (Lexing.lexeme lexbuf) in 
     try Hashtbl.find keywords x 
     with Not_found -> 
     failwith((Lexing.lexeme lexbuf) 
     ^": unknown identifier on line "^string_of_int (linenum lexbuf))} 
    | digits {Tint (int_of_string (L.lexeme lexbuf))} 
    | ('-')? digits ('.' digits)? (['e' 'E'] ['+' '-']? digits)? 
     {Tfloat(float_of_string(L.lexeme lexbuf))} 
    | '+' 'v' (digits as var) '_' (digits as value) 
     {Tcond(true, int_of_string var, int_of_string value)} 
    | '-' 'v' (digits as var) '_' (digits as value) 
     {Tcond(false, int_of_string var, int_of_string value)} 
    | 'v' (digits as var) '_' (digits as value) 
     {Tvar(int_of_string var, int_of_string value)} 
    | ['\n' '\r']+ {L.new_line lexbuf; TEOL} (* THIS GIVES THE ERROR *) 
    | eof {EOF} 
    | _ {failwith((L.lexeme lexbuf)^
     ": mistake on line "^string_of_int lexbuf.L.lex_curr_p.L.pos_lnum)} 

Answer 1

在OCaml的源（从SVN或RELASE压缩包）的目录，标准库的模块Foo的源将在stdlib/foo.{ml,mli}（.mli是接口文件，.ml执行文件）。看着stdlib/lexing.ml为您提供：

let new_line lexbuf = 
    let lcp = lexbuf.lex_curr_p in 
    lexbuf.lex_curr_p <- { lcp with 
    pos_lnum = lcp.pos_lnum + 1; 
    pos_bol = lcp.pos_cnum; 
    } 

你可以在你的代码实现这个为好，用open Lexing有范围的字段名称，或使用lexbuf.Lexing.lex_curr_p和{ lcp with Lexing.pos_lnum = lcp.Lexing.pos_lnum ...来代替。

编辑：因为你可能不打算自己破解OCaml的代码，让我们给你完整的东西：

let new_line lexbuf = 
    let lcp = lexbuf.Lexing.lex_curr_p in 
    lexbuf.Lexing.lex_curr_p <- { lcp with 
    Lexing.pos_lnum = lcp.Lexing.pos_lnum + 1; 
    Lexing.pos_bol = lcp.Lexing.pos_cnum; 
    } 

在文件中使用new_line（如果它说Lexing.new_line顶部添加此，把它变成new_line），你应该没问题。

Answer 2

您可以实现new_line自己，但我想升级OCaml的效果会更好。我知道你说你不能升级操作系统，但是可以在你的主目录下安装新版本的Ocaml，而不需要任何超级用户权限。 OPAM是OCaml的数据包管理器，可以很容易地安装最新版本的OCaml。