diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-04-03 08:12:28 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-04-06 20:10:54 +0200 |
commit | 6ccedcb1f76081df973776f0e4e6909e21de8760 (patch) | |
tree | a0ebd154c8c0330c2b82e4467ac0026e6f88e0db | |
parent | 37a6c987d59303b8c8e2c1407cc0f7d9c414f5d3 (diff) | |
download | ghdl-6ccedcb1f76081df973776f0e4e6909e21de8760.tar.gz ghdl-6ccedcb1f76081df973776f0e4e6909e21de8760.tar.bz2 ghdl-6ccedcb1f76081df973776f0e4e6909e21de8760.zip |
Move Size_Type from areapools to types.
-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; |