From 3711b736684e7cb9179d73d635c2b029234a2721 Mon Sep 17 00:00:00 2001
From: Matteo Morena <8678043+xmamo@users.noreply.github.com>
Date: Tue, 30 May 2023 21:54:29 +0200
Subject: [PATCH] Flip `leftT <: rightT` for `PlainAssignOperator`

---
 src/Devin/Typers.hs | 2 +-
 thesis/thesis.tex   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Devin/Typers.hs b/src/Devin/Typers.hs
index b992fb5..fbdf51b 100755
--- 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
index aedb8a6..c94ffe2 100755
--- 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)