diff options
| author | Michael Williamson <mike@zwobble.org> | 2025-02-11 18:51:28 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2025-02-11 18:51:28 +0000 |
| commit | d134b4ae7ffa844fea749848fdfc88d33723e730 (patch) | |
| tree | c4b440f7095b2e128ad21ef5befa4bfd39b8dcf0 /src/main/java | |
| parent | f6ca48023bab72f27f015af26a5619a2f8249bd1 (diff) | |
Add type arg
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/typesets/TypeSetTypeConstructor.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/typesets/TypeSetTypeConstructor.java b/src/main/java/org/shedlang/compiler/typechecker/typesets/TypeSetTypeConstructor.java index 711fa31c..29c675f3 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/typesets/TypeSetTypeConstructor.java +++ b/src/main/java/org/shedlang/compiler/typechecker/typesets/TypeSetTypeConstructor.java @@ -3,7 +3,7 @@ package org.shedlang.compiler.typechecker.typesets; import org.shedlang.compiler.types.TypeConstructor; import org.shedlang.compiler.types.TypeLevelValue; -public final class TypeSetTypeConstructor implements TypeSetTypeLevelValue<TypeConstructor> { +public final class TypeSetTypeConstructor implements TypeSetTypeLevelValue<TypeConstructor<?>> { private TypeSetTypeConstructor() { } |