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.
3 lines
40 B
YAML
3 lines
40 B
YAML
driver: python
|
|
input_sources: [pkg.ads]
|