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
Adding attributes using ppxlib.metaquot Ecosystem metaprogramming , ppxlib	7	1081	January 15, 2022
[ANN] ppx_deriving.6.0.2 and ppx_deriving_yojson.3.8.0 Community announce , ppx , release , ppx_deriving , ppx_deriving_yojson	21	909	June 21, 2024
Using ppx_deriving.show on a nested type hierarchy Learning ppx	2	164	October 22, 2024
Using Ppxlib with Module Signatures Ecosystem ppx , ppx_deriving , ppxlib	13	680	April 4, 2023
Ppxlib.metaquot and identifiers Learning ppx	5	607	November 13, 2023

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

Related topics