cli: createDirectories

aya-prover · Oct 30, 2023 · e98e4da · e98e4da
1 parent 312e0dd
commit e98e4da
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/cli-console/src/main/java/org/aya/cli/console/Main.java b/cli-console/src/main/java/org/aya/cli/console/Main.java
@@ -18,14 +18,14 @@
 import org.aya.pretty.printer.PrinterConfig;
 import org.aya.tyck.trace.MarkdownTrace;
 import org.aya.tyck.trace.Trace;
+import org.aya.util.FileUtil;
 import org.aya.util.error.SourceFile;
 import org.aya.util.error.SourceFileLocator;
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
 import picocli.CommandLine;
 
 import java.io.IOException;
-import java.nio.charset.StandardCharsets;
 import java.nio.file.Files;
 import java.nio.file.Path;
 import java.nio.file.Paths;
@@ -72,7 +72,7 @@ private int doFakeLiterate(@NotNull FileIO filePath) throws IOException {
     // Garbage code
     var setup = info.backendOpts(false);
     var output = renderOptions.render(RenderOptions.OutputTarget.LaTeX, doc, setup);
-    if (outputPath != null) Files.writeString(outputPath, output, StandardCharsets.UTF_8);
+    if (outputPath != null) FileUtil.writeString(outputPath, output);
     else System.out.println(output);
     return 0;
   }

diff --git a/tools/src/main/java/org/aya/util/FileUtil.java b/tools/src/main/java/org/aya/util/FileUtil.java
@@ -18,6 +18,7 @@ public interface FileUtil {
   static void writeString(@NotNull Path path, @NotNull String content) throws IOException {
     var parent = path.toAbsolutePath().getParent();
     if (parent != null && Files.notExists(parent)) Files.createDirectories(parent);
+    // No need to set UTF_8 since Java 17
     Files.writeString(path, content);
   }