tlang
/
tlang
mirror of http://deavmi.assigned.network/git/tlang/tlang
1
0
Fork 0
Code Issues Releases Activity

I think it works now as the types are in the same order as instructions 

So I guess that works
This commit is contained in:
Tristan B. Velloza Kildaire 2022-02-20 14:27:56 +02:00
parent 76f0d6e1a9
commit 4677cacdf1
1 changed files with 36 additions and 34 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

70
source/tlang/compiler/typecheck/core.d
View File

@ -344,48 +344,50 @@ public final class TypeChecker
/* TODO: Current bug is that the instructions are byte then int but types are popping int then byte
due to the insertion being puishing infront, I recommend we do an initial run through first */
/* Formal types (per function definition) */
Type[] formalTypes;
foreach(Variable parameter; paremeters)
{
formalTypes ~= getType(func.parentOf(), parameter.getType());
}
ulong parmCount = paremeters.length-1;
/* If there are no parameters */
if(!paremeters.length)
{
// /* Formal types (per function definition) */
// Type[] formalTypes;
// foreach(Variable parameter; paremeters)
// {
// formalTypes ~= getType(func.parentOf(), parameter.getType());
// }
}
else
{
ulong formalTypeCount = 0;
// /* If there are no parameters */
// if(!paremeters.length)
// {
// }
// else
// {
// ulong formalTypeCount = 0;
while(formalTypeackCount < formalTypes.length)
{
/* Check if the type stack is empty */
if(isTypesEmpty)
{
gprintln("Expected arguments for function that still requires formal parameters", DebugType.ERROR);
assert(false);
}
/* If the type stack is not empty */
else
{
/* Pop a type of the type stack (argument/actual type) */
Type actualType = popType();
// while(formalTypeackCount < formalTypes.length)
// {
// /* Check if the type stack is empty */
// if(isTypesEmpty)
// {
// gprintln("Expected arguments for function that still requires formal parameters", DebugType.ERROR);
// assert(false);
// }
// /* If the type stack is not empty */
// else
// {
// /* Pop a type of the type stack (argument/actual type) */
// Type actualType = popType();
/* Get the formal type */
}
// /* Get the formal type */
// }
/* Get current formal type */
Type formalType = formalTypes[]
// /* Get current formal type */
// Type formalType = formalTypes[]
isSameType
// isSameType
formalTypeackCount++;
}
}
// formalTypeackCount++;
// }
// }