administrator/pascalabcnet
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

bug fix #297

Browse source
This commit is contained in:
Бондарев Иван 2017-04-23 17:49:28 +02:00
parent cde035dc9c
commit 1227ead58b
2 changed files with 35 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
TestSuite/lambdas2.pas Normal file
View file

@ -0,0 +1,13 @@
var a := ArrGen(10,x->x);
var a2 := ArrGen(10,x->x*x);
var i: integer := 5;
var a3 := ArrGen(10,x->x+i);
var a4 := ArrGen(10,x->x);
a5 := ArrGen(10,x->a[x]+1);
begin
assert(a[9]=9);
assert(a2[9]=81);
assert(a3[9]=14);
assert(a4[9]=9);
assert(a5[9]=10);
end.

24
TreeConverter/TreeConversion/syntax_tree_visitor.cs
View file

@ -2500,7 +2500,8 @@ namespace PascalABCCompiler.TreeConverter
public override void visit(SyntaxTree.block _block)
{
if (context.converting_block() != block_type.namespace_block && _block.defs != null && _block.defs.defs != null)
List<declaration> declarations_with_lambdas = new List<declaration>();
if (/*context.converting_block() != block_type.namespace_block && */_block.defs != null && _block.defs.defs != null)
{
foreach (var def in _block.defs.defs.Where(d => d is const_definition ||
d is consts_definitions_list ||
@ -2509,7 +2510,26 @@ namespace PascalABCCompiler.TreeConverter
var lambdaSearcher = new LambdaSearcher(def);
if (lambdaSearcher.CheckIfContainsLambdas())
{
AddError(new LambdasNotAllowedInDeclarationsSection(get_location(lambdaSearcher.FoundLambda))); // SSM 6.06.15 - Хочется убрать это. В разделе описаний лямбды нужны - пусть и без замыканий. Если внутри подпрограммы - не нужны, но Вы же запретили везде!
if (context.converting_block() != block_type.namespace_block || !(def is variable_definitions))
AddError(new LambdasNotAllowedInDeclarationsSection(get_location(lambdaSearcher.FoundLambda))); // SSM 6.06.15 - Хочется убрать это. В разделе описаний лямбды нужны - пусть и без замыканий. Если внутри подпрограммы - не нужны, но Вы же запретили везде!
else
declarations_with_lambdas.Add(def as variable_definitions);
}
}
}
int lambda_init_index = 0;
foreach (variable_definitions vd in declarations_with_lambdas)
{
foreach (var_def_statement vds in vd.list)
{
var lambdaSearcher = new LambdaSearcher(vds);
if (lambdaSearcher.CheckIfContainsLambdas())
{
procedure_definition func = new short_func_definition(SyntaxTreeBuilder.BuildShortFuncDefinition(new formal_parameters(), new procedure_attributes_list(), new method_name("<>lambda_initializer" + lambda_init_index), null, vds.inital_value, null));
vds.inital_value = new method_call(new ident("<>lambda_initializer"+lambda_init_index), new expression_list());
_block.defs.InsertBefore(vd, func);
lambda_init_index++;
}
}
}