Handle effect constraints in function subtyping

1 files changed, 10 insertions, 1 deletions

diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java
index 935d1078..89b73f84 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java
@@ -353,7 +353,16 @@ public class TypeCheckerSubTyping {
                 }
             }
 
-            if  (!isSubEffect(subtypeFunction.effect(), supertypeFunction.effect(), constraints.typeInfos)) {
+            var effectResult = tryAddSubeffectConstraint(
+                subtypeFunction.effect(),
+                supertypeFunction.effect(),
+                constraints
+            );
+
+            if  (effectResult.isPresent()) {
+                // TODO: test assignment
+                constraints = effectResult.get();
+            } else {
                 return Optional.empty();
             }