1

我需要生成一个与我传递的类型不同类型的值。这是我第一次写类似 ocaml 的东西，例如，在我熟悉的 haskell 中，我会使用 Data.Generics。我如何理解我需要使用装饰器和ppx。我写了简单的例子

let recordHandler = (loc: Location.t, _recFlag: rec_flag, _t: type_declaration, fields: list(label_declaration)) => {
  let (module Builder) = Ast_builder.make(loc);

  let test = [%str
    let schema: Schema = { name: "", _type: String, properties: [] }
  ]
  let moduleExpr = Builder.pmod_structure(test);

  [%str
    module S = [%m moduleExpr]
  ]
}

let str_gen = (~loc, ~path as _, (_rec: rec_flag, t: list(type_declaration))) => {
  let t = List.hd(t)

  switch t.ptype_kind {
  | Ptype_record(fields) => recordHandler(loc, _rec, t, fields);
  | _ => Location.raise_errorf(~loc, "schema is used only for records.");
  };
};
let name = "my_schema";

let () = {
  let str_type_decl = Deriving.Generator.make_noarg(str_gen);
  Deriving.add(name, ~str_type_decl) |> Deriving.ignore;
};

和

open Ppxlib;

let _ = Driver.run_as_ppx_rewriter()

但是在脚本代码中使用

module User = {
  @deriving(my_schema)
  type my_typ = {
    foo: int,
  };
};

我抓到：

不支持架构

. 当我将@deriving(my_schema) 更改为@deriving(abcd) 和@deriving(sschema) 时，我确保自己正确连接它。我得到了不同的错误

Ppxlib.Deriving：“abcd”不是受支持的类型派生生成器。

我的最后一个实验是复制过去现有的库派生访问器。 ppx_accessor 我复制粘贴它并为 accessors_2 重命名。我得到了同样的错误，比如实验。

不支持 accessors_2

另外我还没有找到示例“ppx rescript”。你能帮我么。我做错了什么（所有，我知道）

4

1 回答 1

1

我在文章中找到了答案

放弃对自定义 PPX的支持，例如 ppx_deriving（派生属性现在专门解释为 bs.deriving）

于 2021-03-15T13:37:42.423 回答