How to distinguish tuplyfited constructor pattern in typed AST from recordified one?

not_kill · June 13, 2022, 4:21pm

I have typed AST with patterns and I want to distinguish two cases: tuplyfited constructor pattern and recordified constructor pattern.

And I would prefer not to find in environment by constructor name.

I suppose the non-documented field cstr_inlined can help me to distinguish these cases.

Can this field really help to distinguish tuplyfited constructor pattern from recordified constructor pattern?

nojb · June 13, 2022, 6:05pm

Yes, cstr_inlined will be Some tdecl where tdecl is the record type declaration when the constructor argument is an inlined record.

Cheers,
Nicolas

Topic		Replies	Views
Syntax sugar for records behind constructors Ecosystem	2	813	May 10, 2023
Locally abstract type with inline record pattern Learning	1	281	March 1, 2024
Sum type constructor declaration subtlety (and documentation wanted!) Ecosystem	25	3012	May 8, 2018
Non-trivial uses of Ast_pattern module from ppxlib Learning ppx , ppxlib	2	1190	August 6, 2018
Concretizing abstract types across multiple constructors with pattern matching Learning	3	485	February 1, 2023