From fe34bc3d273b902ab0abd38c9547741274fdc14a Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 31 Dec 2023 11:25:32 +0000 Subject: Add type-level params to FunctionType --- src/main/java/org/shedlang/compiler/ShedBuiltins.java | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/main/java/org/shedlang/compiler/ShedBuiltins.java') 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, -- cgit v1.2.3