diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-31 11:25:32 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-31 11:25:32 +0000 |
| commit | fe34bc3d273b902ab0abd38c9547741274fdc14a (patch) | |
| tree | d27cd83e90947bc073394a3797dc45d17d447e95 /src/main/java/org/shedlang/compiler/ShedBuiltins.java | |
| parent | 0dccfde55d3bba5e7c75ff35fc9d6a1c657a3d85 (diff) | |
Add type-level params to FunctionType
Diffstat (limited to 'src/main/java/org/shedlang/compiler/ShedBuiltins.java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/ShedBuiltins.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/ShedBuiltins.java b/src/main/java/org/shedlang/compiler/ShedBuiltins.java index 14a2e6ce..d08644ff 100644 --- a/src/main/java/org/shedlang/compiler/ShedBuiltins.java +++ b/src/main/java/org/shedlang/compiler/ShedBuiltins.java @@ -6,6 +6,7 @@ import org.shedlang.compiler.types.NamespaceName; import org.shedlang.compiler.types.Types; import java.util.List; +import java.util.Optional; public class ShedBuiltins { private ShedBuiltins() { @@ -16,6 +17,7 @@ public class ShedBuiltins { public static final String PRINT_NAME = "print"; public static final FunctionType PRINT_TYPE = new FunctionType( + Optional.empty(), List.of(Types.STRING), List.of(), Effects.IO, |