proj: tools no longer depend on kala-primitive

aya-prover · Dec 13, 2023 · 09490b8 · 09490b8
1 parent acc3ad9
commit 09490b8
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/cli-impl/src/main/java/org/aya/cli/library/LibraryCompiler.java b/cli-impl/src/main/java/org/aya/cli/library/LibraryCompiler.java
@@ -26,8 +26,8 @@
 import org.aya.resolve.error.NameProblem;
 import org.aya.resolve.module.CachedModuleLoader;
 import org.aya.resolve.module.ModuleLoader;
-import org.aya.util.StringUtil;
 import org.aya.util.error.InternalException;
+import org.aya.util.more.StringUtil;
 import org.aya.util.reporter.CountingReporter;
 import org.aya.util.reporter.Reporter;
 import org.aya.util.terck.MutableGraph;

diff --git a/tools-kala/src/main/java/module-info.java b/tools-kala/src/main/java/module-info.java
@@ -4,6 +4,7 @@
   requires static org.jetbrains.annotations;
   requires transitive kala.collection.primitive;
 
-  exports org.aya.util.tyck.pat;
+  exports org.aya.util.more;
   exports org.aya.util.terck;
+  exports org.aya.util.tyck.pat;
 }
diff --git a/...rc/main/java/org/aya/util/StringUtil.java → ...in/java/org/aya/util/more/StringUtil.java b/...rc/main/java/org/aya/util/StringUtil.java → ...in/java/org/aya/util/more/StringUtil.java
@@ -1,6 +1,6 @@
 // Copyright (c) 2020-2023 Tesla (Yinsen) Zhang.
 // Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
-package org.aya.util;
+package org.aya.util.more;
 
 import kala.collection.immutable.ImmutableSeq;
 import kala.collection.mutable.MutableList;