를 OCaml의 최상위는

Question

나는 일반적으로이 작업을 수행하는 방법을 몰라,하지만 난 명확성을 위해 특히 약 인스턴스를 요청할 것입니다 :

Sexplib 나에게 흥미로운 보인다. 나는 그걸 가지고 놀고 싶다. 나는 그것을 다운로드하여 잘 설치했다. (나는 어쨌든 확실하다.) 최상위에서 "sexp"구문 확장을 사용하고 싶다. 이 일을 어떻게 하죠? 필자가 사용법을 발견 한 모든 예제는 당신이 이미 최상위 레벨을 만들고 구문 확장을 사용하여 컴파일하는 방법을 이미 알고 있다고 가정합니다. 나는이 최상위를 실행하면 나는 with sexp 구문 확장을 사용하려고 할 때

ocamlmktop -I +site-lib/sexplib -pp "camlp4 -I +site-lib/sexplib pa_sexp_conv.cma" -o sexplib-top 

, 나는, 그러나, 나는 구문 오류를 open Sexplib 잘 얻을 수 있습니다 : 그것에

내 최고의 기회는 다음과 같이이었다. -

Answer 1

그것은이다 XXI 세기는 이미 ocamlfind 사용

 Objective Caml version 3.11.2 

# #use "topfind";; 
- : unit =() 

# #camlp4o;; 
/usr/lib/ocaml/dynlink.cma: loaded 
/usr/lib/ocaml/camlp4: added to search path 
/usr/lib/ocaml/camlp4/camlp4o.cma: loaded 
    Camlp4 Parsing version 3.11.2 

# #require "sexplib.syntax";; 
/usr/lib/ocaml/unix.cma: loaded 
/usr/lib/ocaml/bigarray.cma: loaded 
/usr/lib/ocaml/nums.cma: loaded 
/usr/lib/ocaml/num-top: added to search path 
/usr/lib/ocaml/num-top/num_top.cma: loaded 
/usr/lib/ocaml/sexplib: added to search path 
/usr/lib/ocaml/sexplib/sexplib.cma: loaded 
/usr/lib/ocaml/type-conv: added to search path 
/usr/lib/ocaml/type-conv/pa_type_conv.cmo: loaded 
/usr/lib/ocaml/sexplib/pa_sexp_conv.cmo: loaded 

# type t = { x : int; y : float; } with sexp;; 
type t = { x : int; y : float; } 
val t_of_sexp__ : Sexplib.Sexp.t -> t = <fun> 
val t_of_sexp : Sexplib.Sexp.t -> t = <fun> 
val sexp_of_t : t -> Sexplib.Sexp.t = <fun>