From 07188b37986ef1178cf820676081643eac4c3dff Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Wed, 5 Jul 2023 22:16:57 +0100
Subject: Treat no effect as bottom effect

---
 src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
index 9dc4fad3..9aca796e 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
@@ -27,7 +27,7 @@ public class TypeChecker {
     }
 
     private static boolean isSubEffect(Effect subEffect, Effect superEffect, TypeCheckerContext context) {
-        return subEffect.equals(superEffect);
+        return subEffect == Effects.NONE || subEffect.equals(superEffect);
     }
 
     private static boolean isSubType(Type subType, Type superType, TypeCheckerContext context) {
-- 
cgit v1.2.3