From 71a8ca11b03331a92bb271cbd1fbcb877e587300 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 2 Jul 2023 12:19:46 +0100
Subject: Check call to function with effect is marked with effects

---
 src/main/java/org/shedlang/compiler/ShedCompiler.java | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/main/java/org/shedlang/compiler/ShedCompiler.java')

diff --git a/src/main/java/org/shedlang/compiler/ShedCompiler.java b/src/main/java/org/shedlang/compiler/ShedCompiler.java
index bf26436e..d727aea5 100644
--- a/src/main/java/org/shedlang/compiler/ShedCompiler.java
+++ b/src/main/java/org/shedlang/compiler/ShedCompiler.java
@@ -42,6 +42,7 @@ public class ShedCompiler {
                 Map.entry("print", new FunctionType(
                     List.of(Types.STRING),
                     List.of(),
+                    Effects.IO,
                     Types.UNIT
                 ))
             ))
@@ -52,6 +53,7 @@ public class ShedCompiler {
                 Map.entry("print", new FunctionType(
                     List.of(Types.STRING),
                     List.of(),
+                    Effects.IO,
                     Types.UNIT
                 ))
             ));
-- 
cgit v1.2.3