From ce8dfcfecd0937fbf2f4d5b941517f3750f29af2 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sat, 30 Sep 2023 17:31:10 +0100
Subject: Add subtyping for bottom type

---
 .../compiler/typechecker/TypeCheckerSubTyping.java         | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java
index c9576191..b73011ce 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java
@@ -8,6 +8,18 @@ public class TypeCheckerSubTyping {
     }
 
     static boolean isSubType(Type subType, Type superType, TypeCheckerContext context) {
-        return superType == Types.TOP || subType.equals(superType);
+        if (superType == Types.TOP) {
+            return true;
+        }
+
+        if (subType == Types.BOTTOM) {
+            return true;
+        }
+
+        if (subType.equals(superType)) {
+            return true;
+        }
+
+        return false;
     }
 }
-- 
cgit v1.2.3