nub31/nub-lang-archive-2
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix small bug and add todo

Browse Source
This commit is contained in:
nub31
2025-06-22 20:29:36 +02:00
parent c90645f751
commit d32b40fb7b
1 changed files with 10 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/Syntax/Typing/Binder.cs
View File

@@ -7,13 +7,14 @@ using UnaryExpressionNode = Syntax.Parsing.Node.UnaryExpressionNode;
namespace Syntax.Typing; namespace Syntax.Typing;
// TODO: Currently anonymous function does not get a new scope
public static class Binder public static class Binder
{ {
private static SyntaxTree _syntaxTree = null!; private static SyntaxTree _syntaxTree = null!;
private static DefinitionTable _definitionTable = null!; private static DefinitionTable _definitionTable = null!;
private static NubType? _funcReturnType = null;
private static Dictionary<string, NubType> _variables = new(); private static Dictionary<string, NubType> _variables = new();
private static NubType? _funcReturnType;
public static BoundSyntaxTree Bind(SyntaxTree syntaxTree, DefinitionTable definitionTable) public static BoundSyntaxTree Bind(SyntaxTree syntaxTree, DefinitionTable definitionTable)
{ {
@@ -21,6 +22,7 @@ public static class Binder
_definitionTable = definitionTable; _definitionTable = definitionTable;
_variables = []; _variables = [];
_funcReturnType = null;
var definitions = new List<BoundDefinitionNode>(); var definitions = new List<BoundDefinitionNode>();
@@ -50,7 +52,7 @@ public static class Binder
{ {
throw new NotImplementedException("Diagnostics not implemented"); throw new NotImplementedException("Diagnostics not implemented");
} }
var structFields = new List<BoundStructField>(); var structFields = new List<BoundStructField>();
foreach (var structField in node.Fields) foreach (var structField in node.Fields)
@@ -64,7 +66,7 @@ public static class Binder
{ {
throw new NotImplementedException("Diagnostics not implemented"); throw new NotImplementedException("Diagnostics not implemented");
} }
value = BindExpression(structField.Value.Value, definitionField.Type); value = BindExpression(structField.Value.Value, definitionField.Type);
} }
@@ -269,7 +271,8 @@ public static class Binder
private static BoundArrayInitializerNode BindArrayInitializer(ArrayInitializerNode expression) private static BoundArrayInitializerNode BindArrayInitializer(ArrayInitializerNode expression)
{ {
return new BoundArrayInitializerNode(expression.Tokens, new NubArrayType(expression.ElementType), BindExpression(expression.Capacity, NubPrimitiveType.U64), expression.ElementType); return new BoundArrayInitializerNode(expression.Tokens, new NubArrayType(expression.ElementType), BindExpression(expression.Capacity, NubPrimitiveType.U64),
expression.ElementType);
} }
private static BoundBinaryExpressionNode BindBinaryExpression(BinaryExpressionNode expression) private static BoundBinaryExpressionNode BindBinaryExpression(BinaryExpressionNode expression)
@@ -308,7 +311,7 @@ public static class Binder
} }
var expectedType = funcType.Parameters[i]; var expectedType = funcType.Parameters[i];
parameters.Add(BindExpression(parameter, expectedType)); parameters.Add(BindExpression(parameter, expectedType));
} }
@@ -403,7 +406,7 @@ public static class Binder
{ {
throw new NotImplementedException("Diagnostics not implemented"); throw new NotImplementedException("Diagnostics not implemented");
} }
var initializers = new Dictionary<string, BoundExpressionNode>(); var initializers = new Dictionary<string, BoundExpressionNode>();
foreach (var (member, initializer) in expression.Initializers) foreach (var (member, initializer) in expression.Initializers)
@@ -413,7 +416,7 @@ public static class Binder
{ {
throw new NotImplementedException("Diagnostics not implemented"); throw new NotImplementedException("Diagnostics not implemented");
} }
initializers[member] = BindExpression(initializer, definitionField.Type); initializers[member] = BindExpression(initializer, definitionField.Type);
} }