From 21e37cd4f2a0512634872ea1e25acea3c48ead6b Mon Sep 17 00:00:00 2001
From: flameyosflow <flamesfflowsnow@gmail.com>
Date: Tue, 16 Dec 2025 12:12:08 +0200
Subject: [PATCH] Add PreInc

---
 src/typechecker.rs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/typechecker.rs b/src/typechecker.rs
index d21f70a..9c76e8c 100644
--- a/src/typechecker.rs
+++ b/src/typechecker.rs
@@ -832,6 +832,18 @@ impl TypeChecker {
                             }
                         }
                     }
+                    UnOp::PreInc => {
+                        if !matches!(typed_inner.ty, Type::Int | Type::Float) {
+                            return Err(TypeError {
+                                kind: TypeErrorKind::TypeMismatch(
+                                    Type::Int,
+                                    typed_inner.ty.clone(),
+                                ),
+                                span: inner.span.clone(),
+                            });
+                        }
+                        typed_inner.ty.clone()
+                    }
                 };
                 (
                     TypedExprKind::UnOp(op.clone(), Box::new(typed_inner)),