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

bug fix #638

Browse source
This commit is contained in:
Бондарев Иван 2018-01-07 13:33:42 +01:00
parent 25a0aec35f
commit b0a074500b
4 changed files with 18 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

0
TestSuite/errors/err231.pas → TestSuite/errors/err0231.pas
View file

5
TestSuite/errors/err0232.pas Normal file
View file

@ -0,0 +1,5 @@
function f1(b:byte):byte; begin end;
begin
var f := f1.ToString();
end.

5
TestSuite/errors/err0233.pas Normal file
View file

@ -0,0 +1,5 @@
function f1(b:byte):byte; begin end;
begin
var f := f1.ToString;
end.

15
TreeConverter/TreeConversion/syntax_tree_visitor.cs
View file

@ -4877,6 +4877,9 @@ namespace PascalABCCompiler.TreeConverter
expression_node exp = (expression_node)sn;
if (exp is typed_expression)
try_convert_typed_expression_to_function_call(ref exp);
location subloc = get_location(id_right);
if (exp is typed_expression)
AddError(new UndefinedNameReference(id_right.name, subloc));
SyntaxTree.operator_name_ident oni_right = id_right as SyntaxTree.operator_name_ident;
if (oni_right != null)
{
@ -4891,12 +4894,6 @@ namespace PascalABCCompiler.TreeConverter
}
}
//definition_node ddn=check_name_node_type(id_right.name,si,get_location(id_right),
// general_node_type.function_node,general_node_type.variable_node);
location subloc = get_location(id_right);
if (sil == null)
{
AddError(new UndefinedNameReference(id_right.name, subloc));
@ -9253,6 +9250,10 @@ namespace PascalABCCompiler.TreeConverter
{
if (en is typed_expression)
try_convert_typed_expression_to_function_call(ref en);
if (en is typed_expression)
{
AddError(new MemberIsNotDeclaredInType(id_right, get_location(id_right), en.type));
}
SymbolInfoList sil = en.type.find_in_type(id_right.name, context.CurrentScope);
if (sil == null)
{
@ -9260,7 +9261,7 @@ namespace PascalABCCompiler.TreeConverter
}
try_convert_typed_expression_to_function_call(ref en);
switch (mot)
{
case motivation.address_reciving: