Generics not allowed on types or other non-class , record, procedural types.

[Schmitty2005]

I do not know if this is an issue ,a Blaise decision, or just not implemented yet :

{$MODE DELPHI}
program ga;

uses sysutils;

type
  TgenericArray<T> = array of T;   <--ERROR
begin
end.

With Blaise :

$ ./blaise --source ga.pas --output ga
Parse error: Generic type must be a class, record, or interface, or a procedural type at line 7 col 22 in ga.pas

And with FPC :

$ fpc ga.pas
Free Pascal Compiler version 3.2.2+dfsg-32 [2024/01/05] for x86_64
Copyright (c) 1993-2021 by Florian Klaempfl and others
Target OS: Linux for x86-64
Compiling ga.pas
Linking ga
10 lines compiled, 0.1 sec

[Schmitty2005]

program cg;
{$MODE DELPHI}

uses classes, generics.collections;

type

    Tgc<T> = class
    public
      a : Array of T;
    end;

var
    g : Tgc<Integer>;
begin
end.

ERROR :

$ ./blaise --source cg.pas --output cg
Semantic error: Unknown type 'array of T' for field in 'Tgc<Integer>' at line 0 col 0 in cg

Compiles in FPC.

$ fpc cg.pas
Free Pascal Compiler version 3.2.2+dfsg-32 [2024/01/05] for x86_64
Copyright (c) 1993-2021 by Florian Klaempfl and others
Target OS: Linux for x86-64
Compiling cg.pas
cg.pas(14,5) Note: Local variable "g" not used
Linking cg
17 lines compiled, 0.9 sec
1 note(s) issued