[fpc-devel] Thoughts on being able to declare "pointer-to-type" parameters directly in method signatures?

[Florian Klämpfl]

Am 08.06.2019 um 21:30 schrieb Ben Grasset:
> B) I was looking at some output from FPC's "-vp" flag today, and it's pretty clear that the compiler is already
> perfectly capable of knowing exactly what "^Type" means in all cases, because *all* pointer type aliases in that output
> are literally desugared to "^Type".

And? It is obvious that FPC has to know what's the base type of a pointer else it couldn't do type checking.