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.
14 lines
263 B
Ada
14 lines
263 B
Ada
package Pkg is
|
|
|
|
type Prim_T is tagged null record;
|
|
|
|
function Primitive (Self : Prim_T) return Integer
|
|
is (Integer (12));
|
|
|
|
type Der_T is new Prim_T with null record;
|
|
|
|
function Prim_2 (Self : Der_T) return Integer is
|
|
(Self.Primitive);
|
|
|
|
end Pkg;
|