diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-10-25 21:13:46 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-10-25 21:13:46 +0100 |
| commit | 2cecc44c63d3dbbcc09cb234babde8d849fe04ac (patch) | |
| tree | 7a38cbabd16151db5887833d8d6b9c2ea87632ee /src/main/java | |
| parent | 93a48938f80ba97bebbec4f86d86580253b46ff8 (diff) | |
Add test for duplicate param names
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java index f3cc142c..0c3fa89d 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -504,7 +504,6 @@ public class TypeChecker { var typedParams = typedSignature.params; var bodyEnvironment = EnvironmentBuilder.EMPTY; - // TODO: check for duplicate param names for (var param : typedParams.all()) { bodyEnvironment = bodyEnvironment.add( |