diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-07-03 11:46:35 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-07-03 11:46:35 +0100 |
| commit | fc22eb6b047c5a3bbabdf728edb84cfdf81ba9b5 (patch) | |
| tree | 2405cf68c1c89d38ff87100bbbe7268b38afe0b6 /src/main/java/org/shedlang/compiler/ShedBuiltins.java | |
| parent | d0a86977da222df158778dd7be95873da44ed90a (diff) | |
Extract print name and type
Diffstat (limited to 'src/main/java/org/shedlang/compiler/ShedBuiltins.java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/ShedBuiltins.java | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/ShedBuiltins.java b/src/main/java/org/shedlang/compiler/ShedBuiltins.java index fde2dae6..14a2e6ce 100644 --- a/src/main/java/org/shedlang/compiler/ShedBuiltins.java +++ b/src/main/java/org/shedlang/compiler/ShedBuiltins.java @@ -1,10 +1,24 @@ package org.shedlang.compiler; +import org.shedlang.compiler.types.Effects; +import org.shedlang.compiler.types.FunctionType; import org.shedlang.compiler.types.NamespaceName; +import org.shedlang.compiler.types.Types; + +import java.util.List; public class ShedBuiltins { private ShedBuiltins() { } public static final NamespaceName NAMESPACE_NAME = NamespaceName.of("Shed", "Builtins"); + + public static final String PRINT_NAME = "print"; + + public static final FunctionType PRINT_TYPE = new FunctionType( + List.of(Types.STRING), + List.of(), + Effects.IO, + Types.UNIT + ); } |
