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。