【TFoo<K, V> = class(TBar<TPair<K, V>>)】NEEDED
lazarus / 64-FPC development

----------------------------------------------------------------------
ExSystem · 2016-03-09 07:48

http://bugs.freepascal.org/view.php?id=24283

would this get to be fixed?

or, let me do it?

----------------------------------------------------------------------
balazsszekely · 2016-03-09 09:50

According to the bug report it's not fixed(not even assigned to a
developer),  so feel free to create a patch . The beer is on me if you
can do it.

----------------------------------------------------------------------
ExSystem · 2016-04-11 02:48

btw, is there any workaround for this?

Code: Pascal  [Select][+][-]window.onload = function(){var x1 =
document.getElementById("main_content_section"); if (x1) { var x =
document.getElementsByClassName("geshi");for (var i = 0; i IFoo<T> =
Interface(IInterface) //YES, interface, NOT class  Procedure Bar(AFoo:
ISomeList<TSomeClass<T>>); //SEE ISomeList<TSomeClass<T>>End;

----------------------------------------------------------------------
Leledumbo · 2016-04-11 05:35

Quote from: ExSystem on April 11, 2016, 04:48:50 ambtw, is there any
workaround for this?

Code: Pascal  [Select][+][-]window.onload = function(){var x1 =
document.getElementById("main_content_section"); if (x1) { var x =
document.getElementsByClassName("geshi");for (var i = 0; i IFoo<T> =
Interface(IInterface) //YES, interface, NOT class  Procedure Bar(AFoo:
ISomeList<TSomeClass<T>>); //SEE ISomeList<TSomeClass<T>>End; What
workaround? Please describe the problem along with full short
compilable code. This:
Code: Pascal  [Select][+][-]window.onload = function(){var x1 =
document.getElementById("main_content_section"); if (x1) { var x =
document.getElementsByClassName("geshi");for (var i = 0; i {$mode
delphi} type  TSomeClass<T> = class  end;   ISomeList<T> = interface 
end;   IFoo<T> = Interface(IInterface) //YES, interface, NOT class   
Procedure Bar(AFoo: ISomeList<TSomeClass<T>>); //SEE
ISomeList<TSomeClass<T>>  End; beginend. Compiles.

----------------------------------------------------------------------
ExSystem · 2016-04-11 06:22

This does compile in DELPHI, but NOT in FPC(mine is ver 3.0.0). <--
This is the exactly problem.


Quote from: Leledumbo on April 11, 2016, 07:35:35 amQuote from:
ExSystem on April 11, 2016, 04:48:50 ambtw, is there any workaround
for this?

Code: Pascal  [Select][+][-]window.onload = function(){var x1 =
document.getElementById("main_content_section"); if (x1) { var x =
document.getElementsByClassName("geshi");for (var i = 0; i IFoo<T> =
Interface(IInterface) //YES, interface, NOT class  Procedure Bar(AFoo:
ISomeList<TSomeClass<T>>); //SEE ISomeList<TSomeClass<T>>End; What
workaround? Please describe the problem along with full short
compilable code. This:
Code: Pascal  [Select][+][-]window.onload = function(){var x1 =
document.getElementById("main_content_section"); if (x1) { var x =
document.getElementsByClassName("geshi");for (var i = 0; i {$mode
delphi} type  TSomeClass<T> = class  end;   ISomeList<T> = interface 
end;   IFoo<T> = Interface(IInterface) //YES, interface, NOT class   
Procedure Bar(AFoo: ISomeList<TSomeClass<T>>); //SEE
ISomeList<TSomeClass<T>>  End; beginend. Compiles.

----------------------------------------------------------------------
Cyrax · 2016-04-11 08:38

Code: Pascal  [Select][+][-]window.onload = function(){var x1 =
document.getElementById("main_content_section"); if (x1) { var x =
document.getElementsByClassName("geshi");for (var i = 0; i {$mode
objfpc}{$H+} Type   generic IFoo<T> = Interface(IInterface)... 
In objfpc mode, you need to add generic keyword in before your type.

----------------------------------------------------------------------
marcov · 2016-04-11 08:59

It compiles with 3.1.1 but not with 3.0.0:


Code: Pascal  [Select][+][-]window.onload = function(){var x1 =
document.getElementById("main_content_section"); if (x1) { var x =
document.getElementsByClassName("geshi");for (var i = 0; i
C:\testing>fpc gtstFree Pascal Compiler version 3.1.1 [2016/03/23] for
i386Copyright (c) 1993-2016 by Florian Klaempfl and othersTarget OS:
Win32 for i386Compiling gtst.ppgtst.pp(4,14) Note: Private type
"TSomeClass$1.T" never usedgtst.pp(7,13) Note: Private type
"ISomeList$1.T" never usedLinking gtst.exe14 lines compiled, 0.1 sec,
26928 bytes code, 1300 bytes data2 note(s)
issued C:\testing>dorel C:\testing>fpc gtstFree Pascal Compiler
version 3.0.0 [2015/11/16] for i386Copyright (c) 1993-2015 by Florian
Klaempfl and othersTarget OS: Win32 for i386Compiling
gtst.ppgtst.pp(11,45) Fatal: Syntax error, "," expected but "<"
foundFatal: Compilation abortedError:
C:\fpc\3.0.0\bin\i386-win32\ppc386.exe returned an error exitcode 
Cyrax:  he has a $mode delphi in place.

The objfpc code is

Code: Pascal  [Select][+][-]window.onload = function(){var x1 =
document.getElementById("main_content_section"); if (x1) { var x =
document.getElementsByClassName("geshi");for (var i = 0; i {$mode
objfpc} type generic  TSomeClass<T> = class  end;  generic
 ISomeList<T> = interface  end;   generic IFoo<T> =
Interface(IInterface) //YES, interface, NOT class    Procedure
Bar(AFoo: specialize ISomeList<specialize TSomeClass<T>>); //SEE
ISomeList<TSomeClass<T>>  End; beginend.
And I know I know why I hate the FPC syntax again, but also in this
case only 3.1.1 works, 3.0.0 not:

Code: [Select]
C:\testing>fpc gtst
Free Pascal Compiler version 3.0.0 [2015/11/16] for i386
Copyright (c) 1993-2015 by Florian Klaempfl and others
Target OS: Win32 for i386
Compiling gtst.pp
gtst.pp(11,46) Error: Identifier not found "specialize"
gtst.pp(11,57) Error: Type identifier expected
gtst.pp(11,57) Fatal: Syntax error, "," expected but "identifier
TSOMECLASS" found
Fatal: Compilation aborted
Error: C:\fpc\3.0.0\bin\i386-win32\ppc386.exe returned an error
exitcode

----------------------------------------------------------------------
ExSystem · 2016-04-11 13:19

great, I start deleting a bunch of {$IFDEF FPC} .. {$ELSE} .. {$ENDIF}
blocks now. No more IPairXXX<K, V>, but just IXXX<TPair<K, V>> now...

And i think, in objfpc mode, just copy the forms of C++, JAVA, C# in
generics grammar is fine...

----------------------------------------------------------------------
ExSystem · 2016-04-16 14:36

AFTER UPGRADING FPC TO 3.1.1:

A new bug found related to GENERICS. 

Code: Pascal  [Select][+][-]window.onload = function(){var x1 =
document.getElementById("main_content_section"); if (x1) { var x =
document.getElementsByClassName("geshi");for (var i = 0; i Unit
XFramework.Acl; {$IFDEF FPC}{$mode
delphi}{$H+}{$ENDIF} Interface Uses  XFramework.System,
XFramework.Containers, // XFramework  SysUtils; Type  // forward
declaration - begin  TAcl<K, R, M> = Class;  // forward declaration -
end   // fake todo -begin  TClass<T> = Class  End;  // fake todo
-end   EAclException = Class(EException);  EResourceExisted =
Class(EAclException);  ENoSuchParentResource = Class(EAclException); 
ERoleExisted = Class(EAclException);  EMembershipExisted =
Class(EAclException);  ENoSuchMembership = Class(EAclException); 
ENoSuchParentRole = Class(EAclException);  ENoSuchRole =
Class(EAclException);  ENoSuchResource = Class(EAclException);   IRole
= Interface(IInterface)    Function GetRoldId: String;    Property
RoldId: String Read GetRoldId;  End;   IResource =
Interface(IInterface)    Function GetResourceId: String;    Property
ResourceId: String Read GetResourceId;  End;   TAssertion<K, R, M> =
Function(Acl: TAcl<K, R, M>; Rold: IRole; Resource: IResource;
Privilege: String): Boolean Of Object; 
LAST LINE, char 45(  TAssertion<K, R, M> = Function(Acl:
TAcl<K<----HERE):   Error: Internal error 2015080101

----------------------------------------------------------------------
Leledumbo · 2016-04-16 14:53

Quote from: ExSystem on April 16, 2016, 04:36:03 pmLAST LINE, char
45(  TAssertion<K, R, M> = Function(Acl: TAcl<K<----HERE):   Error:
Internal error 2015080101
http://wiki.lazarus.freepascal.org/Lazarus_Faq#.27Fatal:_Internal_erro
r_XXXXYYZZW.27

----------------------------------------------------------------------
ExSystem · 2016-04-18 09:09

SEE THIS: http://bugs.freepascal.org/view.php?id=30030