From ecc469a159c5f49af8c629daa10132357bc5c5a2 Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Tue, 11 Jul 2023 13:42:44 +0200
Subject: [PATCH] show calculated paths

---
 server/GameServer/Commands.lean | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/server/GameServer/Commands.lean b/server/GameServer/Commands.lean
index 8146389..f4e7ea3 100644
--- a/server/GameServer/Commands.lean
+++ b/server/GameServer/Commands.lean
@@ -893,8 +893,10 @@ elab "MakeGame" : command => do
       logError m!"{w1} depends on {w2} because of {item}"
   else
     worldDependsOnWorlds ← removeTransitive worldDependsOnWorlds
-    logInfo m!"Dependencies: {worldDependsOnWorlds.toArray.map fun (a,b) => (a,b.toArray)}"
-
+    for (dependentWorldId, worldIds) in worldDependsOnWorlds.toArray do
+      modifyCurGame fun game =>
+        pure {game with worlds := {game.worlds with
+          edges := game.worlds.edges.append (worldIds.toArray.map fun wid => (wid, dependentWorldId))}}
 
 /-! # Debugging tools -/