Andreas Abel

I made the respective revisions, e.g.: https://hackage.haskell.org/package/basement-0.0.14/revisions/

Now 0.13.2.4 seems to build fine with ghc 9.0.1. But not the latest release, 0.13.2.5. See also https://github.com/bgamari/attoparsec/pull/6.

This bug report is a bit terse. Could you flesh it out with the usual - steps/script to reproduce, - expected output, and - observed output?

Is this still a problem? Cannot reproduce atm. We need a reproducer to report this upstream.

In Agda, identifiers and operators need to be white-space separated. The only tokens that need not be white-space separated are `(`, `)`, `{`, `}`, `;` (maybe I am forgetting one)....

Dunno. Right contexts are used in several places: For comments: https://github.com/agda/agda/blob/798be60d51a56a8c74cfd309c1498b070240e686/src/full/Agda/Syntax/Parser/Lexer.x#L110-L125 For layout: https://github.com/agda/agda/blob/798be60d51a56a8c74cfd309c1498b070240e686/src/full/Agda/Syntax/Parser/Lexer.x#L135-L140 Also for: `{{` https://github.com/agda/agda/blob/798be60d51a56a8c74cfd309c1498b070240e686/src/full/Agda/Syntax/Parser/Lexer.x#L224-L226

> Run actions/[email protected] @parsonsmatt: Could it be that your are requesting an outdated version? v1.1.4 was released in Nov 2020 when GHC 8.10.4 didn't exist yet, as far as I...

Your latest CI run says: ``` Attempting to install ghc 8.10.4 using ghcup /opt/hostedtoolcache/ghcup/0.1.8/x64/ghcup install 8.10.4 [ Warn ] New GHCup version available: 0.1.16.2. To upgrade, run 'ghcup upgrade' [...

Ah, puzzle solved. I wouldn't have been able to spot this subtlety! Maybe update the issue title to something more specific so that others can find the solution more easily?

Here is one more: https://github.com/agda/agda/commit/8037346494d68356efdb2f6e0ef1458704721acd