Enum with single value not supported as LF enum

It’s not possible to use an enum with a single value in DAML that would translate to a LF enum, e.g. data myEnum = myEnumA. The recommended workaround is to write data myEnum = myEnumA (), but this translates to a variant.

[jberthold-da]

Correct. What I would like is that

• data X = X compiles to a singleton LF Enum It won’t be a problem if
• data X = X () compiles to a variant, and
• data X = X {} compiles to an empty record although I struggle to see the utility of the two latter ones.

[cocreature]

I thought a bit about the implementation and I believe it should be fairly straightforward:

1. When translating the definition of a datatype look at the parsed source to figure out how to translate it.
2. When translating a pattern match figure out the module and package of the corresponding data type (you can get that info from the DataCon) and look at the DALF for that module to see how we desugared it previously.