From 9366f649636a35301a0c95f37b665e406b2edece Mon Sep 17 00:00:00 2001
From: Simon Zelazny <zelazny@mailbox.org>
Date: Tue, 16 Jun 2026 22:44:27 +0200
Subject: [PATCH] Use System.doesDirExists instead of raising SysErr on missing
 dir

---
 src/pkg.sml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/pkg.sml b/src/pkg.sml
index 8fc3750..adb1374 100644
--- a/src/pkg.sml
+++ b/src/pkg.sml
@@ -249,9 +249,8 @@ struct
           | SOME pkgpath =>
               let
                 val pdir = "lib" </> Manifest.pkgpathToString pkgpath
-                val pdir_exists = OS.FileSys.isDir pdir
               in
-                if pdir_exists then ()
+                if System.doesDirExist pdir then ()
                 else raise Fail ("the directory " ^ pdir ^ " does not exist.")
               end
         end