From 292407cbaefcbe6cf05dc5ea762cc45edc377526 Mon Sep 17 00:00:00 2001
From: "Tristan B. Kildaire" <deavmi@redxen.eu>
Date: Thu, 29 Apr 2021 17:57:15 +0200
Subject: [PATCH] Refactored

---
 source/tlang/compiler/typecheck/core.d | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/source/tlang/compiler/typecheck/core.d b/source/tlang/compiler/typecheck/core.d
index a43e401..54153be 100644
--- a/source/tlang/compiler/typecheck/core.d
+++ b/source/tlang/compiler/typecheck/core.d
@@ -155,6 +155,12 @@ public final class TypeChecker
         */
         checkContainerCollision(modulle); /* TODO: Rename checkContainerCollision */
 
+        /**
+        * Check that definition types (for functions and
+        * variables that are being declared) are valid types
+        */
+        checkDefinitionTypes(modulle);
+
         /* TODO: Now that everything is defined, no collision */
         /* TODO: Do actual type checking and declarations */
         dependencyCheck();