- Notifications
You must be signed in to change notification settings - Fork5
ocaml preprocessor that generates a recursive module
License
NotificationsYou must be signed in to change notification settings
flow/ocaml-ppx_gen_rec
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
A ppx rewriter that transforms arecursive moduleexpression into astruct.
If you write a recursive module like this:
module rec Foo : sig type t = stringend = FooThe compiler treats it like you wrote:
module rec Foo : sig type t = stringend = struct type t = stringendIf you try to useppx_deriving, you get aUndefined_recursive_module exception, becauseppx_deriving generates the signature but not the implementation:
module rec Foo : sig type t = string [@@deriving show]end = Foo(* is like writing *)module rec Foo : sig type t = string val show: t -> stringend = struct type t = string let show _ = raise Undefined_recursive_moduleendUseppx_gen_rec beforeppx_deriving to generate an explicit struct, which will causeppx_deriving to generate an implementation:
module%gen rec Foo : sig type t = string [@@deriving show]end = Foo(* becomes... *)module rec Foo : sig type t = string [@@deriving show]end = struct type t = string [@@deriving show]end(* which becomes... *)module rec Foo : sig type t = string val show: t -> stringend = struct type t = string let show t = (* show stuff *)endJust usemodule%gen rec instead ofmodule rec:
module%gen rec Foo : sig type t = string [@@deriving show]end = Fooocaml-ppx_gen_rec is MIT licensed, as found in the LICENSE file.
About
ocaml preprocessor that generates a recursive module
Resources
License
Code of conduct
Stars
Watchers
Forks
Packages0
No packages published