Skip to content
  • Ryan Scott's avatar
    Print Core type applications with no whitespace after @ (#17643) · 923a1272
    Ryan Scott authored and Marge Bot's avatar Marge Bot committed
    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.
    923a1272