From: reinert <reinkor@gmail.com>
Subject: Re: Question on variant/discriminated records
Date: Fri, 1 Jan 2021 01:19:03 -0800 (PST) [thread overview]
Message-ID: <a566183d-a0ce-4ac8-b374-2fa907fa4607n@googlegroups.com> (raw)
In-Reply-To: <rskp8n$1feq$1@gioia.aioe.org>
Thanks, problem clarified and solved :-)
reinert
torsdag 31. desember 2020 kl. 16:03:57 UTC+1 skrev Dmitry A. Kazakov:
> Use nested choice:
>
....
prev parent reply other threads:[~2021-01-01 9:19 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-31 10:38 Question on variant/discriminated records reinert
2020-12-31 10:52 ` J-P. Rosen
2020-12-31 12:24 ` reinert
2020-12-31 12:46 ` Gautier write-only address
2020-12-31 12:57 ` reinert
2020-12-31 13:29 ` DrPi
2020-12-31 16:06 ` Gautier write-only address
2020-12-31 15:03 ` Dmitry A. Kazakov
2021-01-01 9:19 ` reinert [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox