From 7c4ea4b7e20afbabc775591ebaf6bc90f681189c Mon Sep 17 00:00:00 2001
From: ahmad <ahmadjoha103@gmail.com>
Date: Sun, 12 May 2024 15:54:44 +0200
Subject: [PATCH] Implemented the typeCheck in TypedConstructor

---
 .../de/maishai/typedast/typedclass/TypedConstructor.java   | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/main/java/de/maishai/typedast/typedclass/TypedConstructor.java b/src/main/java/de/maishai/typedast/typedclass/TypedConstructor.java
index 8942e3b..0abb847 100644
--- a/src/main/java/de/maishai/typedast/typedclass/TypedConstructor.java
+++ b/src/main/java/de/maishai/typedast/typedclass/TypedConstructor.java
@@ -65,11 +65,16 @@ public class TypedConstructor implements TypedNode {
 
     public void convertToBlock(TypedClass clas, Constructor unTypedConstructor) {
         this.typedBlock = new TypedBlock(clas, unTypedConstructor.block());
+        typeCheck(clas);
     }
 
     @Override
     public Type typeCheck(TypedClass clas) {
-        //TODO: check if return is there
+        type = typedBlock.typeCheck(clas);
+        if(type != Type.VOID){
+            throw new RuntimeException("Constructor must not habe a return statement");
+        }
+
         return type;
     }