From 3743913ce2c5bc37f899d437c09b60cbb3bc6dea Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sun, 3 Nov 2024 15:48:13 -0500
Subject: Add unsigned integer shifts

---
 typecheck.c | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'typecheck.c')

diff --git a/typecheck.c b/typecheck.c
index 7cc081de..e5255959 100644
--- a/typecheck.c
+++ b/typecheck.c
@@ -927,10 +927,8 @@ type_t *get_type(env_t *env, ast_t *ast)
                 return lhs_t;
             break;
         }
-        case BINOP_LSHIFT: case BINOP_RSHIFT: {
-            if (is_int_type(rhs_t) && binding_works(binop_method_names[binop->op], binop->lhs, lhs_t, rhs_t, lhs_t))
-                return lhs_t;
-            break;
+        case BINOP_LSHIFT: case BINOP_RSHIFT: case BINOP_ULSHIFT: case BINOP_URSHIFT: {
+            return lhs_t;
         }
         case BINOP_POWER: {
             if (is_numeric_type(rhs_t) && binding_works(binop_method_names[binop->op], binop->lhs, lhs_t, rhs_t, lhs_t))
-- 
cgit v1.2.3