From 0b2c17e676802f725e97437d068de002422f7379 Mon Sep 17 00:00:00 2001
From: Pavel Potapov <ppotapov@amazon.com>
Date: Fri, 27 Feb 2026 21:18:22 +0000
Subject: [PATCH] Avoid stepping into libuv while saving shared constants

---
 KLR/Compile.lean | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/KLR/Compile.lean b/KLR/Compile.lean
index ed4e7676..0fef3f18 100644
--- a/KLR/Compile.lean
+++ b/KLR/Compile.lean
@@ -39,10 +39,11 @@ private def sharedConstant
   let data := tensor.toNpy
   let hashInput := s!"{data.header.descr.toNpyString}:{data.header.shape.val}".toUTF8 ++ data.data
   let hash := Util.SHA256.byteArrayToHashString (Util.SHA256.hash hashInput)
-  let (_, tmpPath) ← IO.FS.createTempFile
-  data.save! tmpPath
+  let ns ← IO.monoNanosNow
+  let tmpName := s!"{dst}/{hash}_{ns}.tmp.npy"
+  data.save! tmpName
   let fName := s!"{dst}/{hash}.npy"
-  IO.FS.rename tmpPath.toString fName
+  IO.FS.rename tmpName fName
   return ⟨name, fName⟩
 
 structure DebugInfo where