From 09bb089998f808d8f8d6c046e55b2a30ddbc4ac2 Mon Sep 17 00:00:00 2001 From: "Tristan B. Kildaire" Date: Fri, 4 Jun 2021 11:34:18 +0200 Subject: [PATCH] WIP: Found problem for ongoing recursion, we need a stopping case - we need to mark things --- source/tlang/compiler/typecheck/core.d | 5 ++++- source/tlang/testing/basic1_typedeclrationchecking.t | 3 ++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/source/tlang/compiler/typecheck/core.d b/source/tlang/compiler/typecheck/core.d index c28d62e..695a7a1 100644 --- a/source/tlang/compiler/typecheck/core.d +++ b/source/tlang/compiler/typecheck/core.d @@ -142,10 +142,13 @@ public final class TypeChecker { Clazz clazzType = cast(Clazz)type; + /* TODO: We need to start marking things */ + /* TODO: Do actual checks here now */ + /* TODO: If the type is of the current class we are in then it is fine? */ if(clazzType == c) { - + gprintln("Container we are in matches type of TypedEdntity being processed"); } else { diff --git a/source/tlang/testing/basic1_typedeclrationchecking.t b/source/tlang/testing/basic1_typedeclrationchecking.t index c1cd956..1381dfc 100644 --- a/source/tlang/testing/basic1_typedeclrationchecking.t +++ b/source/tlang/testing/basic1_typedeclrationchecking.t @@ -60,7 +60,8 @@ class Shekshi class kl { - + kl o; + Shekshi oo; } int Shekshi2;