On Jan 2, 2020, at 12:52 PM, Remi Forax <fo...@univ-mlv.fr> wrote: > > The other solution, is to wait to have de-constructor, in that case we may > not need a special syntax for enum.
Yeah, that’s my first thought on this. Given a deconstructor which we certainly will have, the incremental advantage to record-like enums is very limited. And there are disadvantages: Some of the record and enum contracts are contradictory. Happy new year! – John
