Skip to content

Print Core type applications with no whitespace after @ (#17643)

Ryan Scott requested to merge wip/T17643 into master

This brings the pretty-printer for Core in line with how visible type applications are normally printed: namely, with no whitespace after the @ character (i.e., f @a instead of f @ a). While I'm in town, I also give the same treatment to type abstractions (i.e., \(@a) instead of \(@ a)) and coercion applications (i.e., f @~x instead of f @~ x).

Fixes #17643 (closed).

Merge request reports