From 5a67d6d05294643bf7412659f319b7091bd2a898 Mon Sep 17 00:00:00 2001 From: flupe Date: Thu, 4 Sep 2025 11:23:18 +0200 Subject: [PATCH] correctly create nested folders --- src/Main.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Main.hs b/src/Main.hs index 5b10482..6200f72 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -13,7 +13,7 @@ import Data.Text ( pack ) import GHC.Generics ( Generic ) import System.Console.GetOpt ( OptDescr(Option), ArgDescr(..) ) import System.Directory ( createDirectoryIfMissing ) -import System.FilePath ( () ) +import System.FilePath ( (), takeDirectory ) import Data.Text.Lazy.IO qualified as LText import Paths_agda2lambox ( version ) @@ -127,11 +127,11 @@ writeModule Options{..} menv IsMain m defs = do env <- runCompile (CompileEnv optNoBlocks) $ compile optTarget defs programs <- filterM hasPragma defs - liftIO $ createDirectoryIfMissing True outDir - let fileName = (outDir ) . moduleNameToFileName m coqMod = CoqModule env (map qnameToKName programs) + liftIO $ createDirectoryIfMissing True $ takeDirectory $ fileName "" + liftIO do putStrLn $ "Writing " <> fileName ".txt" pp coqMod <> "\n" & writeFile (fileName ".txt")