TNO/Renaissance-Ada

Add function to get type of placeholder

pjljvandelaar opened this issue · 2 comments

pjljvandelaar commented

The type of a place holder might be needed to decide whether a rewrite is correct.

E.g. a and b rewritting to a and then b is only correct when a and b are booleans.

pjljvandelaar commented

Probably use libadalang's

   function P_Expression_Type
     (Node : Expr'Class) return Base_Type_Decl;
   --  Return the declaration corresponding to the type of this expression
   --  after name resolution.
pjljvandelaar commented

Solved in 3c8c53b