lace.events: Optimise.

2023-12-08 14:42:45 +11:00
parent f12686d233
commit dbe487c074
29 changed files with 275 additions and 136 deletions
--- a/4-high/gel/source/world/gel-world-server.ads
+++ b/4-high/gel/source/world/gel-world-server.ads
@@ -13,6 +13,8 @@ package gel.World.server
 --  Provides a gel world server.
 --
 is
+   pragma Suppress (Container_Checks);     -- Suppress expensive tamper checks.
+
   type Item  is limited new gel.World.item
   with private;