Type signatures lose parentheses

[anonymous]

Under certain circumstances syntactically necessary parentheses are dropped from type signatures. Both of these examples are real code, though simpler examples could be found.

* Case 1: Strict multi-token fields

data (f :+: g) e = Inl !(f e) | Inr !(g e)

* Case 2: Per-argument comments on function arguments.

pairWithBy :: (a -> b -> c) -- ^ @(,)@ tuple homomorphism -> (c -> d -> d) -- ^ @(:)@ list homomorphism, pt. 1 -> d -- ^ @[]@ list homomorphism, pt. 2 -> [a] -> [b] -> Maybe d -- a safer @zip@ function

[cgibbard@…]

This bug is still present in 2.1.0. You can see another example of it here.

[anonymous]

Milestone 2.2.0 deleted