Dear Committee, a refinement to the NegativeLiterals extension has been proposed by Vladislav Zavialov (int-index). https://github.com/ghc-proposals/ghc-proposals/pull/344 https://github.com/int-index/ghc-proposals/blob/negative-literals-improved/p... He noticed that x-1 parses as x (-1) which is probably not what people expect. With this change it would be parsed as x - 1 by requiring that a negative literal may not be preceded by a “closing toking”. Nice side effect: This makes NegativeLiterals a subset of LexicalNegation (according to the author). The proposal has been received positively by the crowd on Github. I suggest we accept that proposal. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/