
--
-- Copyright (C) 2022  <fastrgv@gmail.com>
--
-- This program is free software: you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation, either version 3 of the License, or
-- (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-- GNU General Public License for more details.
--
-- You may read the full text of the GNU General Public License
-- at <http://www.gnu.org/licenses/>.
--


with arena_pools;


package splaytypes is

--HINT:  reduce this constant until compilation succeeds:
--		1.6 billion seems to work for MsWin32, OSX, & Linux
	--bounded_pool: arena_pools.arena(2_000_000_000); --Ok but allows 100%
	--bounded_pool: arena_pools.arena(250_000_000); --allows 50%
	bounded_pool: arena_pools.arena(400_000_000); --allows 83%

end splaytypes;

