[m-users.] Existential types example

[Zoltan Somogyi]

2022-10-01 04:11 GMT+10:00 "Volker Wysk" <post at volker-wysk.de>:
> This part:
> 
>> :- func hetlist = list_of_showable.
>> hetlist = [ s(123), s("bla") ].         % <-- line 63
> 
> ... is by me. It isn't part of the example above.

Please read section 12.3 of the language reference manual.

Zoltan.