You've already forked libadalang
mirror of
https://github.com/AdaCore/libadalang.git
synced 2026-02-12 12:28:54 -08:00
c26fb6a63d
Annotate the fields to correspond to the notion of equality we want in Libadalang: * dottable_subp is metadata in the original sense of the concept, and thus should not be taken into account * primitive_type/primitive_real_type is more like rebindings, it's actually information that conceptually creates a new node, and as such should be taken into account.
4 lines
118 B
Plaintext
4 lines
118 B
Plaintext
Prim_T.Primitive = Der_T.Primitive: False
|
|
Der_T.Primitive = Der_T.Primitive (different internal metadata): True
|
|
Done.
|