Richard Smith 59ff7743c0 Expect parentheses after an alternative only if they were present in its declaration (#2605) ...

The design of choice types expects the declaration of an alternative to match the usage: if an alternative is declared as `None`, then it should be used as `None` not `None()`, and if it is declared as `None()` then it should be used as `None()` not `None`. Update explorer to match.

Also clean up the handling of choice types and alternative values a little in general, by moving away from identifying choice types and alternatives as strings and towards identifying them symbolically.

Closes #2422

2023-02-14 13:28:52 -08:00

..

prelude.carbon

Expect parentheses after an alternative only if they were present in its declaration (#2605)

2023-02-14 13:28:52 -08:00