module-loader: split resolve/desugar

aya-prover · Jun 27, 2024 · 149260a · 149260a
1 parent eaf822f
commit 149260a
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/base/src/main/java/org/aya/resolve/StmtResolvers.java b/base/src/main/java/org/aya/resolve/StmtResolvers.java
@@ -27,7 +27,7 @@ private void resolveBind(@NotNull ImmutableSeq<ResolvingStmt> stmts) {
       binder.bind(rename.bindCtx(), rename.bind(), var));
   }
 
-  private void desugar(@NotNull ImmutableSeq<Stmt> stmts) {
+  public void desugar(@NotNull ImmutableSeq<Stmt> stmts) {
     var salt = new Desalt(info);
     stmts.forEach(stmt -> stmt.descentInPlace(salt, salt.pattern()));
   }
@@ -39,7 +39,6 @@ public void resolve(@NotNull ImmutableSeq<Stmt> stmts) {
     var resolving = fillContext(stmts);
     resolveStmts(resolving); // resolve mutates stmts
     resolveBind(resolving); // mutates bind blocks
-    desugar(stmts);
     info.opSet().reportIfCyclic();
   }
 }
diff --git a/base/src/main/java/org/aya/resolve/module/ModuleLoader.java b/base/src/main/java/org/aya/resolve/module/ModuleLoader.java
@@ -78,7 +78,9 @@ public interface ModuleLoader extends Problematic {
       @NotNull ModuleContext context, @NotNull ImmutableSeq<Stmt> program, @NotNull ModuleLoader recurseLoader
   ) {
     var resolveInfo = new ResolveInfo(context, primFactory, shapeFactory, opSet);
-    new StmtResolvers(recurseLoader, resolveInfo).resolve(program);
+    var resolver = new StmtResolvers(recurseLoader, resolveInfo);
+    resolver.resolve(program);
+    resolver.desugar(program);
     return resolveInfo;
   }
 

diff --git a/gradle/wrapper/gradle-wrapper.properties b/gradle/wrapper/gradle-wrapper.properties
@@ -2,7 +2,7 @@
 # Use of this source code is governed by the MIT license that can be found in the LICENSE.md file.
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-8.8-rc-1-bin.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-8.8-bin.zip
 networkTimeout=10000
 validateDistributionUrl=true
 zipStoreBase=GRADLE_USER_HOME