David Luposchainsky

``` haskell f !x = x ``` defines a (unnecessarily) strict identity function if `BangPatterns` are enabled, and the constant function that ignores its first argument (`flip const`) if it...

It doesn’t have anything to do with type signatures, those were just to clarify the issue. BangPatterns change the syntax in a way that changes semantics of existing programs I...

> For example, `let (!x) = ...` and `let !x = ...` have subtly different behavior. Can you show how this is the case? I do not see this result...

I am not convinced the `(!x)` issue is such a big problem. Compilers might simply warn on `(!x)`, since it is never a useful thing to express. It is true...

@wrengr > If not, @quchen did you want to revise the pr or should I? I opened a couple of proposals to get people to start talking. The pull request...

FWIW if Text is a problem, forking prettyprinter to use String is simple, but not something I want to have in the Hackage release.

(Work on this has been done on a local branch that is continally rebased onto `develop`. Waiting for the merge until testing is possible with reasonable stability again.)

... I guess this will be a bug of the "oh I guess it fixed itself along the way somehow" category.

Behaviour improved (but not fixed) in 28e1c9095e52e030134f42e622fe7ec9928877b2

Partially fixed some more in a1290412339ae817ce5a32bdf8feac258f3c767f