如何在jane street Ocaml中需要一个模块

Question

我正在使用http://dev.realworldocaml.org/records.html，但在使用require时遇到了问题

#require "re.posix";;

(* open Base ;;
open Core ;; *)

(* type <record-name> =
  {
    <field>: <type>;
    <field>: <type>;
  } *)

  type service_info =
    {
      service_name : string ;
      port : int ;
      protocol : string ;
    }
;;

(* #require "re.postix";; *)

let service_info_of_string line =
  let matches =
    Re.exec (Re.Posix.compile_pat "([a-zA-Z]+)[\t]+([0-9]+)/([a-zA-Z]+)") line
  in
  {
    service_name = Re.get matches 1;
    port = Int.of_string (Re.get matches 2);
    protocol = Re.get matches 3;
  }
;;

print_endline "foobar"

这是我调用dune build的输出

dune build hello_world.exe 
         ppx hello_world.pp.ml (exit 1)
(cd _build/default && .ppx/jbuild/ppx_jane/ppx.exe -o hello_world.pp.ml --impl hello_world.ml --dump-ast)
File "hello_world.ml", line 385, characters 0-1:
Error: Syntax error

下面是jbuild

(executable
 ((name hello_world)
 (libraries (core))
 (preprocess (pps (ppx_jane)))))

我发现"#use "topfind“如果我用ocamlc编译就行了，但还没能用沙丘编译。

Tips appreciated.thanks

Answer 1

以下修复将使您的示例正常工作：

open Core ;; (* in particular, it makes Int visible *)


type service_info =
    {
      service_name : string ;
      port : int ;
      protocol : string ;
    }
;;

(* #require "re.postix";; *)

let service_info_of_string line =
  let matches =
    Re.exec (Re.Posix.compile_pat "([a-zA-Z]+)[\t]+([0-9]+)/([a-zA-Z]+)") line
  in
  {
    service_name = Re.get matches 1;
    port = Int.of_string (Re.get matches 2);
    protocol = Re.get matches 3;
  }
;;

print_endline "foobar"

和jbuild：

(executable
 ((name hello_world)
 (libraries (core re))
 (preprocess (pps (ppx_jane)))))