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

#2569

Browse source
This commit is contained in:
Ivan Bondarev 2021-12-14 20:42:39 +01:00
parent c95fa10824
commit 6b3169b799
2 changed files with 21 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
TestSuite/generics59.pas Normal file
View file

@ -0,0 +1,11 @@
procedure p1<T>(params a: array of T);
begin
assert(typeof(T) = typeof(integer));
end;
function f1: array of integer := nil;
begin
p1(f1);
p1(f1());
end.

10
TreeConverter/TreeRealization/generics.cs
View file

@ -878,10 +878,20 @@ namespace PascalABCCompiler.TreeRealization
{ {
//Проверяем фактические, попадающие под params... //Проверяем фактические, попадающие под params...
type_node tn = fact[i].type; type_node tn = fact[i].type;
bool deduce_empty_func_call = false;
if (tn is delegated_methods && (tn as delegated_methods).empty_param_method != null && last_params_type.is_generic_parameter)
{
tn = (tn as delegated_methods).empty_param_method.ret_type;
deduce_empty_func_call = true;
}
if (tn.element_type != null && tn.type_special_kind != SemanticTree.type_special_kind.array_wrapper) if (tn.element_type != null && tn.type_special_kind != SemanticTree.type_special_kind.array_wrapper)
tn = tn.element_type; tn = tn.element_type;
if (!DeduceInstanceTypes(last_params_type, tn, deduced, nils, generic_params)) if (!DeduceInstanceTypes(last_params_type, tn, deduced, nils, generic_params))
{ {
if (deduce_empty_func_call && DeduceInstanceTypes(last_params_type, fact[i].type, deduced, nils, generic_params))
continue;
if (alone) if (alone)
throw new SimpleSemanticError(loc, "GENERIC_FUNCTION_{0}_CAN_NOT_BE_CALLED_WITH_THESE_PARAMETERS", func.name); throw new SimpleSemanticError(loc, "GENERIC_FUNCTION_{0}_CAN_NOT_BE_CALLED_WITH_THESE_PARAMETERS", func.name);
return null; return null;