Как потребовать модуль на улице Джейн Ocaml - PullRequest
0 голосов
/ 23 октября 2018

Я работаю через 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 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. Но не смог заставить его работать с дюной.

Советы приветствуются. спасибо

1 Ответ

0 голосов
/ 24 октября 2018

Следующие исправления сделают ваш пример работоспособным:

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)))))
...