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

fix #2290

Browse source
This commit is contained in:
Mikhalkovich Stanislav 2020-10-07 18:41:43 +03:00
parent 0a504dfc6f
commit fce27649d1
7 changed files with 25 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Configuration/GlobalAssemblyInfo.cs
View file

@ -15,7 +15,7 @@ internal static class RevisionClass
public const string Major = "3"; public const string Major = "3";
public const string Minor = "7"; public const string Minor = "7";
public const string Build = "1"; public const string Build = "1";
public const string Revision = "2712"; public const string Revision = "2714";
public const string MainVersion = Major + "." + Minor; public const string MainVersion = Major + "." + Minor;
public const string FullVersion = Major + "." + Minor + "." + Build + "." + Revision; public const string FullVersion = Major + "." + Minor + "." + Build + "." + Revision;

2
Configuration/Version.defs
View file

@ -1,4 +1,4 @@
%COREVERSION%=1 %COREVERSION%=1
%REVISION%=2712 %REVISION%=2714
%MINOR%=7 %MINOR%=7
%MAJOR%=3 %MAJOR%=3

2
Release/pabcversion.txt
View file

@ -1 +1 @@
3.7.1.2712 3.7.1.2714

2
ReleaseGenerators/PascalABCNET_version.nsh
View file

@ -1 +1 @@
!define VERSION '3.7.1.2712' !define VERSION '3.7.1.2714'

19
TestSuite/isvar1.pas Normal file
View file

@ -0,0 +1,19 @@
type
t1 = class end;
t2 = class(t1) end;
procedure p1<T>(a: t1); where T: class;
begin
var x: T;
if x is t1 then
Print(1);
if a is T(var b) then
if b is t2(var c) then
Assert(c=c);
end;
begin
var a: t1 := new t2;
p1&<t2>(a);
end.

2
TreeConverter/TreeConversion/SyntaxTreeVisitorNodes/Patterns.cs
View file

@ -260,7 +260,7 @@ namespace PascalABCCompiler.TreeConverter
type_table.is_derived(expressionType, type) || type_table.is_derived(expressionType, type) ||
AreTheSameType(type, expressionType) || AreTheSameType(type, expressionType) ||
type.IsInterface || type.IsInterface ||
expressionType.IsInterface) expressionType.IsInterface || type.is_generic_parameter || expressionType.is_generic_parameter)
return; return;
AddError(get_location(matchedExpression), "EXPRESSION_OF_TYPE_{0}_CANNOT_BE_MATCHED_AGAINST_PATTERN_WITH_TYPE_{1}", expressionType.name, type.name); AddError(get_location(matchedExpression), "EXPRESSION_OF_TYPE_{0}_CANNOT_BE_MATCHED_AGAINST_PATTERN_WITH_TYPE_{1}", expressionType.name, type.name);

2
TreeConverter/TreeConversion/syntax_tree_visitor.cs
View file

@ -3104,7 +3104,7 @@ namespace PascalABCCompiler.TreeConverter
else else
if (!(type_table.is_derived(en.type, tp) || type_table.is_derived(tp, en.type) if (!(type_table.is_derived(en.type, tp) || type_table.is_derived(tp, en.type)
|| en.type == tp || en.type == SystemLibrary.SystemLibrary.object_type || en.type == tp || en.type == SystemLibrary.SystemLibrary.object_type
|| en.type.IsInterface || tp.IsInterface || tp.is_generic_parameter) || en.type.IsInterface || tp.IsInterface || tp.is_generic_parameter || en.type.is_generic_parameter)
) )
{ {
AddError(loc, "EXPECTED_DERIVED_CLASSES"); AddError(loc, "EXPECTED_DERIVED_CLASSES");