ci: use ij latest gradle platform plugin

aya-prover · Nov 27, 2024 · f197722 · f197722
1 parent fb933ac
commit f197722
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -63,7 +63,7 @@ jobs:
           echo "changelog=$CHANGELOG" >> $GITHUB_OUTPUT
           echo "pluginVerifierHomeDir=~/.pluginVerifier" >> $GITHUB_OUTPUT
 
-          ./gradlew listProductsReleases # prepare list of IDEs for Plugin Verifier
+          ./gradlew printProductsReleases # prepare list of IDEs for Plugin Verifier
 
 #      # Run tests
 #      - name: Run Tests

diff --git a/src/main/java/org/aya/intellij/actions/search/ProofSearch.java b/src/main/java/org/aya/intellij/actions/search/ProofSearch.java
@@ -115,9 +115,8 @@ private static boolean matches(@NotNull ProofShape ps, @NotNull Term term) {
     return switch (expr.data()) {
       case Expr.Hole hole -> new ProofShape.CalmFace();
       case Expr.Unresolved e -> e.name().join().equals("?") ? new ProofShape.AnyId() : new ProofShape.Ref(e.name());
-      case Expr.BinOpSeq seq -> new ProofShape.App(seq.seq().view()
-        .map(arg -> new ProofShape.Arg(parse(arg.term()), arg.explicit()))
-        .toImmutableSeq());
+      case Expr.BinOpSeq (var seq) -> new ProofShape.App(seq
+        .map(arg -> new ProofShape.Arg(parse(arg.term()), arg.explicit())));
       // TODO: more?
       case Expr misc -> throw new PatternNotSupported(misc);
     };