From fc0f4ae983791d875ae131de2c54540dbb671f4e Mon Sep 17 00:00:00 2001 From: ice1000 Date: Sat, 4 Jan 2025 12:12:46 -0500 Subject: [PATCH] free: fix one test --- .../free/morphism/free/FreeArgumentProvider.java | 13 +++++-------- 1 file changed, 5 insertions(+), 8 deletions(-) diff --git a/jit-compiler/src/main/java/org/aya/compiler/free/morphism/free/FreeArgumentProvider.java b/jit-compiler/src/main/java/org/aya/compiler/free/morphism/free/FreeArgumentProvider.java index 6de01a18ca..952ccb8321 100644 --- a/jit-compiler/src/main/java/org/aya/compiler/free/morphism/free/FreeArgumentProvider.java +++ b/jit-compiler/src/main/java/org/aya/compiler/free/morphism/free/FreeArgumentProvider.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.compiler.free.morphism.free; @@ -8,22 +8,19 @@ import org.jetbrains.annotations.NotNull; public record FreeArgumentProvider(int paramCount) implements ArgumentProvider { - @Override - public @NotNull LocalVariable arg(int nth) { + @Override public @NotNull LocalVariable arg(int nth) { assert nth < paramCount; return new FreeVariable.Arg(nth); } record Lambda(int captureCount, int paramCount) implements ArgumentProvider.Lambda { - @Override - public @NotNull FreeJavaExpr capture(int nth) { + @Override public @NotNull FreeJavaExpr capture(int nth) { assert nth < captureCount; return new FreeExpr.RefCapture(nth); } - @Override - public @NotNull LocalVariable arg(int nth) { - assert nth + captureCount < paramCount; + @Override public @NotNull LocalVariable arg(int nth) { + assert nth < paramCount; return new FreeVariable.Arg(nth); } }