review: optimize import

aya-prover · Jan 9, 2025 · 858c1d6 · 858c1d6
1 parent 58ec58d
commit 858c1d6
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 12 deletions.
diff --git a/syntax/src/main/java/org/aya/syntax/core/term/FreeTerm.java b/syntax/src/main/java/org/aya/syntax/core/term/FreeTerm.java
@@ -16,8 +16,7 @@ public record FreeTerm(@NotNull LocalVar name) implements TyckInternal {
   //   return this;
   // }
 
-  @Override
-  public @NotNull Term bindAllFrom(@NotNull ImmutableSeq<LocalVar> vars, int fromDepth) {
+  @Override public @NotNull Term bindAllFrom(@NotNull ImmutableSeq<LocalVar> vars, int fromDepth) {
     var idx = vars.indexOf(this.name);
     if (idx == -1) return this;
 

diff --git a/syntax/src/main/java/org/aya/syntax/core/term/LocalTerm.java b/syntax/src/main/java/org/aya/syntax/core/term/LocalTerm.java
@@ -1,4 +1,4 @@
-// Copyright (c) 2020-2024 Tesla (Yinsen) Zhang.
+// Copyright (c) 2020-2025 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.syntax.core.term;
 
@@ -12,14 +12,8 @@ public record LocalTerm(int index) implements Term {
     assert index >= 0 : "Sanity check";
   }
 
-  @Override
-  public @NotNull Term descent(@NotNull IndexedFunction<Term, Term> f) {
-    return this;
-  }
-
-  @Override public @NotNull Term bindAt(@NotNull LocalVar var, int depth) {
-    return this;
-  }
+  @Override public @NotNull Term descent(@NotNull IndexedFunction<Term, Term> f) { return this; }
+  @Override public @NotNull Term bindAt(@NotNull LocalVar var, int depth) { return this; }
 
   @Override public @NotNull Term replaceAllFrom(int from, @NotNull ImmutableSeq<Term> list) {
     var i = index - from;

diff --git a/syntax/src/main/java/org/aya/syntax/core/term/Param.java b/syntax/src/main/java/org/aya/syntax/core/term/Param.java
@@ -3,7 +3,6 @@
 package org.aya.syntax.core.term;
 
 import kala.collection.SeqView;
-import kala.collection.immutable.ImmutableSeq;
 import org.aya.generic.AyaDocile;
 import org.aya.pretty.doc.Doc;
 import org.aya.syntax.core.RichParam;