Topic	Replies	Views	Activity
Ppxlib: Getting the original definition of `typ_constr` like `type_declaration` from `core_type` of `ptyp_constr` Learning ppx , learning , ppxlib , ast , opam-compiler	9	200	August 16, 2024
How to represent tuples in AST? Community ast , teaching	11	580	February 18, 2024
Automatically generating Coq/Gallina code Ecosystem code-generation , coq , ast	3	437	December 27, 2023
Why Do Simple Let Bindings Introduce Extra Type Assertions? Learning compiler , ppx , ast , parsing	4	450	December 1, 2023
Mapping GADT with Polymorphic Variant into a more restrictive form Learning type-system , gadt , ast , polymorphic-variants , gadts	5	798	May 24, 2023
What's the best way to represent type variables inside an AST? Community compiler , ast	0	561	January 13, 2023
Mapping GADT AST node to list of it's children not allowed by compiler? Learning compiler , gadt , polymorphism , ast	3	848	August 26, 2022
[ANN] FrontC 4.1.0 (Vingt ans après) Community c , ast , parser	2	971	May 26, 2021
Convert from one complicated type(like AST) to another Learning ast	10	1877	February 10, 2021
Producing and using typed ASTs for all source files in a project Learning compiler , merlin , dune , ast , parsing	5	2194	May 17, 2019

ast