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

FOund a parsing error that must be fixed to allow `new A().x`

This commit is contained in:
Tristan B. Velloza Kildaire 2021-06-15 13:29:04 +02:00
parent 8079167fa5
commit 8799ab9b85
2 changed files with 12 additions and 35 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
source/tlang/compiler/typecheck/dependency.d
View File

@ -203,41 +203,15 @@ public class DNodeGenerator
return newDNode;
}
private DNode variablePass(Variable variable, InitScope context)
{
/* TODO: We should do all variable processing once in here */
/**
* If the variable is static then it can only access static
* entities
*/
if(context == InitScope.STATIC)
{
}
/**
* If it is virtual
*/
else if(context == InitScope.VIRTUAL)
{
}
else
{
/* This should neve rhappen */
assert(false);
}
return null;
}
private DNode expressionPass(Expression exp)
private DNode expressionPass(Expression exp, InitScope context)
{
DNode dnode;
gprintln("expressionPass(Exp): Processing "~exp.toString(), DebugType.WARNING);
/* TODO: Add pooling */
/**
* Number literal
@ -253,6 +227,10 @@ public class DNodeGenerator
{
/* TODO: Figure out where the variable lies */
/* TODO: Change this later */
return new DNode(this, exp);
}
/**
* Binary operator
@ -264,8 +242,8 @@ public class DNodeGenerator
dnode = new DNode(this, exp);
/* Process left and right */
DNode leftNode = expressionPass(binOp.getLeftExpression());
DNode rightNode = expressionPass(binOp.getRightExpression());
DNode leftNode = expressionPass(binOp.getLeftExpression(), context);
DNode rightNode = expressionPass(binOp.getRightExpression(), context);
/* Require the evaluation of these */
/* TODO: Add specific DNode type dependent on the type of operator */
@ -349,8 +327,6 @@ public class DNodeGenerator
assert(variableType); /* TODO: Handle invalid variable type */
DNode variableDNode = pool_module_vardec(variable);
variablePass(variable, InitScope.STATIC);
/* Basic type */
if(cast(Primitive)variableType)
{
@ -390,7 +366,7 @@ public class DNodeGenerator
/* (TODO) Process the assignment */
VariableAssignment varAssign = variable.getAssignment();
DNode expression = expressionPass(varAssign.getExpression());
DNode expression = expressionPass(varAssign.getExpression(), InitScope.STATIC);
VariableAssignmentNode varAssignNode = new VariableAssignmentNode(this, varAssign);
varAssignNode.needs(expression);

3
source/tlang/testing/typecheck/basic_dependence_correct2.t
View File

@ -2,8 +2,9 @@ module typeChecking2;
A aInstance;
B bInstance;
int p = 1;
int p = p+p*2;
int k =1+p+l;
int o = new A().l;
class A
{