We were not printing attributes on patterns in many cases, and we also printed attributes on named args incorrectly. This will fix the printing bug and also print attributes in many newly supported locations (patterns).
In the future, we can support a sugar for attributes on named args, but right now they require as aliases.
We were not printing attributes on patterns in many cases, and we also printed attributes on named args incorrectly. This will fix the printing bug and also print attributes in many newly supported locations (patterns). In the future, we can support a sugar for attributes on named args, but right now they require
as
aliases.An alternative sugar syntax for punned could be: