aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-04-03 08:12:28 +0200
committerTristan Gingold <tgingold@free.fr>2020-04-06 20:10:54 +0200
commit6ccedcb1f76081df973776f0e4e6909e21de8760 (patch)
treea0ebd154c8c0330c2b82e4467ac0026e6f88e0db
parent37a6c987d59303b8c8e2c1407cc0f7d9c414f5d3 (diff)
downloadghdl-6ccedcb1f76081df973776f0e4e6909e21de8760.tar.gz
ghdl-6ccedcb1f76081df973776f0e4e6909e21de8760.tar.bz2
ghdl-6ccedcb1f76081df973776f0e4e6909e21de8760.zip
Move Size_Type from areapools to types.
-rw-r--r--src/areapools.ads7
-rw-r--r--src/types.ads5
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;