[fpc-pascal] Generic type conflicts

Michael Van Canneyt michael at freepascal.org
Thu Nov 7 16:23:09 CET 2019

On Thu, 7 Nov 2019, Ben Grasset via fpc-pascal wrote:

> On Thu, Nov 7, 2019 at 3:03 AM Sven Barth via fpc-pascal <
> fpc-pascal at lists.freepascal.org> wrote:
>> If there is no type checking, then it is *not* verified by the compiler.
> Perhaps "no type checking" was not the write way to put it. A better way to
> describe it might be:


> E.G. it could still do the full checking, as the only thing that really
> matters is that it does not actively raise error messages only relevant for
> Integer under code blocks only entered for tkFloat.

If I understood Sven's example correct, then the compiler does exactly this


More information about the fpc-pascal mailing list