diff options
| -rw-r--r-- | src/areapools.ads | 7 | ||||
| -rw-r--r-- | src/types.ads | 5 |
2 files changed, 7 insertions, 5 deletions
diff --git a/src/areapools.ads b/src/areapools.ads index 186f29707..d9802523b 100644 --- a/src/areapools.ads +++ b/src/areapools.ads @@ -19,17 +19,14 @@ with System; use System; with System.Storage_Elements; use System.Storage_Elements; +with Types; use Types; + package Areapools is type Areapool is limited private; type Mark_Type is private; type Areapool_Acc is access all Areapool; - -- Modular type for the size. We don't use Storage_Offset in order to - -- make alignment computation efficient (knowing that alignment is a - -- power of two). - type Size_Type is mod System.Memory_Size; - -- Allocate SIZE bytes (aligned on ALIGN bytes) in memory pool POOL and -- return the address in RES. procedure Allocate (Pool : in out Areapool; diff --git a/src/types.ads b/src/types.ads index af62cbe34..e118a108c 100644 --- a/src/types.ads +++ b/src/types.ads @@ -180,4 +180,9 @@ package Types is -- Result of a comparaison of two numeric values. type Order_Type is (Less, Equal, Greater); + + -- Modular type for the size. We don't use Storage_Offset in order to + -- make alignment computation efficient (knowing that alignment is a + -- power of two). + type Size_Type is mod System.Memory_Size; end Types; |