From fc22eb6b047c5a3bbabdf728edb84cfdf81ba9b5 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Mon, 3 Jul 2023 11:46:35 +0100
Subject: Extract print name and type

---
 src/main/java/org/shedlang/compiler/ShedBuiltins.java | 14 ++++++++++++++
 1 file changed, 14 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 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
+    );
 }
-- 
cgit v1.2.3