I’m working on a project where Ppxlib, menhir and sedlex need to play nicely together. While there’s some AST that needs Location, I would like to have ppx_deriving.show to the AST type. As far as I know, this leads me to duplicate Location and Lexing as modules, and add ppx_deriving show to those.…

You can re-export the location type and add a deriving annotation to it: type position = Lexing.position = { pos_fname : string; pos_lnum : int; pos_bol : int; pos_cnum : int; } [@@deriving show] type loc = Location.t { loc_start: position; loc_end: position; loc_ghost: bool; } [@@de…

How to add ppx_deriving to Location without re-creating the module Location/Lexing

Learning

davesnx March 15, 2023, 12:39pm 3

Didn’t know you could re-export the type, huge.

OMG, that’s a live saver. Thanks!

1 Like

We send 100 emails a day

Topic		Replies	Views
Help: simplify this code Learning	4	395	March 24, 2023
How to disable ppx_deriving.show printer output for some AST nodes? Learning ppx	3	164	January 15, 2025
[@@deriving sexp] of a type defined in other module Learning	5	1684	September 6, 2019
Jump to definition of functions generated by `ppx_deriving` Ecosystem merlin , ppx_deriving	8	338	March 15, 2025
Help getting with started ppxlib Learning	4	1562	July 16, 2019

How to add ppx_deriving to Location without re-creating the module Location/Lexing

Related topics