Impossible to create list with only one element

[XJIE6]

For example, output for
printf("%s", {1}.string)
is 1, not {1} because {1} means scope with 1, but not list with element 1

[dboulytchev]

Use List.singleton or 1 : {}.

[danyaberezun]

🤦‍♂️

[dboulytchev]

Would you prefer begin ... end instead of { ... } for blocks? Or, say, {< ... >} for lists?

[danyaberezun]

I'd prefer such restrictions to be explicitly declared somewhere.

[dboulytchev]

Yep, the spec is on its way. But, if you can match against x : t, you can constuct x : t as well, and you hardly need the spec for this :)

[danyaberezun]

Yes, it is trivial but very unexpected that "expression" { 1 } can be overloaded. Thus, one may spend some time figuring out the problem, especially after migration from the previous version and especially taking to the account that we do not have informative error messages. That's why such a stupid thing has to be explicitly declared somewhere. Just in order to avoid wasting time.