aboutsummaryrefslogtreecommitdiffstats
path: root/sem_types.ads
diff options
context:
space:
mode:
Diffstat (limited to 'sem_types.ads')
-rw-r--r--sem_types.ads6
1 files changed, 5 insertions, 1 deletions
diff --git a/sem_types.ads b/sem_types.ads
index c71ebbc9d..dc36640ad 100644
--- a/sem_types.ads
+++ b/sem_types.ads
@@ -28,7 +28,7 @@ package Sem_Types is
return Iir;
-- Return FALSE if A_TYPE is an unconstrained array type or subtype.
- function Sem_Is_Constrained (A_Type: Iir) return Boolean;
+ --function Sem_Is_Constrained (A_Type: Iir) return Boolean;
procedure Sem_Protected_Type_Body (Bod : Iir);
@@ -50,4 +50,8 @@ package Sem_Types is
-- If ATYPE is not NULL_IIR, type must match.
function Is_A_Resolution_Function (Func: Iir; Atype: Iir) return Boolean;
+ -- Return a subtype definition copy of DEF.
+ -- This is used when an alias of DEF is required (eg: subtype a is b).
+ function Copy_Subtype_Indication (Def : Iir) return Iir;
+
end Sem_Types;