1 files changed, 2 insertions, 0 deletions
diff --git a/check.hs b/check.hs
index dbbcfd8..18842f6 100644
--- a/check.hs
+++ b/check.hs
@@ -240,6 +240,8 @@ resultTypeBO bo t@(TypePtr _) (TypeInt _) | bo `elem` [Plus, Minus] = Just t
 resultTypeBO bo t@(TypePtr _) (TypeUInt _) | bo `elem` [Plus, Minus] = Just t
 resultTypeBO bo (TypeInt _) t@(TypePtr _) | bo `elem` [Plus, Minus] = Just t
 resultTypeBO bo (TypeUInt _) t@(TypePtr _) | bo `elem` [Plus, Minus] = Just t
+resultTypeBO Index (TypePtr t) (TypeInt _) = Just t
+resultTypeBO Index (TypePtr t) (TypeUInt _) = Just t
 resultTypeBO _ (TypePtr _) _ = Nothing
 resultTypeBO _ _ (TypePtr _) = Nothing