Flip leftT <: rightT for PlainAssignOperator

xmamo · May 30, 2023 · 3711b73 · 3711b73
1 parent b90e37d
commit 3711b73
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Devin/Typers.hs b/src/Devin/Typers.hs
@@ -391,7 +391,7 @@ checkExpression expression = case expression of
     leftT <- checkExpression left
     rightT <- checkExpression right
 
-    if leftT <: rightT then
+    if rightT <: leftT then
       pure rightT
     else
       report' (InvalidBinary binary leftT rightT)

diff --git a/thesis/thesis.tex b/thesis/thesis.tex
@@ -3231,7 +3231,7 @@
         leftT <- checkExpression left
         rightT <- checkExpression right
 
-        if leftT <: rightT then
+        if rightT <: leftT then
           pure rightT
         else
           report' (InvalidBinary binary leftT rightT)