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	1007	January 15, 2022
Using Ppxlib with Module Signatures Ecosystem ppx , ppx_deriving , ppxlib	13	575	April 4, 2023
Ppxlib.metaquot and identifiers Learning ppx	5	439	November 13, 2023
Can I use PPX_deriving with modules? Learning ppx_deriving	7	1479	January 10, 2019
Ppx_deriving implementation for pretty printing sets & maps Learning	8	1790	December 16, 2021

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

Related Topics