Re: [Seed7-users] Generics

[Thomas M. <tho...@gm...>]

Hello Anton,
 
many thanks for your bug report. Nothing is missing in your understanding.
You discovered a test-case for generics, that was not used until now.
The templates used in the Seed7 libraries don't need this use case.
Nevertheless this case should work like other cases.
I have just released a new version of Seed7: seed7_05_20190523.tgz
With this version the bug is fixed.


Regards,
Thomas Mertes

-- 
Seed7 Homepage:  http://seed7.sourceforge.net
Seed7 - The extensible programming language: User defined statements
and operators, abstract data types, templates without special
syntax, OO with interfaces and multiple dispatch, statically typed,
interpreted or compiled, portable, runs under linux/unix/windows.