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
[@@deriving sexp] of a type defined in other module Learning	5	1640	September 6, 2019
Help getting with started ppxlib Learning	4	1525	July 16, 2019
Creating TYPES from PPX Learning	2	1165	February 22, 2019
Help: simplify this code Learning	4	363	March 24, 2023
Is there plugin `show` based on `ppxlib.Deriving` Learning ppx , ppx_deriving , ppxlib	1	1796	July 1, 2019

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

Related topics