Andreas Abel

Short answer: no. BNFC is really only a wizard to generate parser definitions for yacc-like parser generators in a rather straightforward way.

Ping @bjpop . Can this fix be released to Hackage?

See #7933 for further analysis. - #7933

I think the reasoning for the initial design of `stImports :: Signature` accumulating the signatures of all visited file was as follows: > Since access from the syntax to this...

Thanks for trying this! > @andreasabel This works: > > ```diff > diff --git a/Agda.cabal b/Agda.cabal > index 766cfe7bf6..b71b8c4b1d 100644 > --- a/Agda.cabal > +++ b/Agda.cabal > @@ -102,6 +102,7...

> And while we are at it, [`restore-keys` should be renamed to something else](https://github.com/actions/cache/issues/1590). Dream on. This would break a gazillion of workflows without good reason.

@UlfNorell wrote: > Currently [the documentation says](https://agda.readthedocs.io/en/latest/language/module-system.html): > > > It is also possible to attach modifiers to import statements, limiting or changing what names are visible from inside the...

Agda dev 2025-04-30: One application of `import M hiding (foo)` is to hide the instance `foo` (because instances are considered even if in scope only qualified).

Bumped into this in the CI for haskell-ci with ghc-9.12 alpha1: https://github.com/andreasabel/haskell-ci/actions/runs/11434726576/job/31808789430#step:26:35 > [ 0.00002] ghc.info: /github/home/.ghcup/ghc/9.12.20241014/bin/ghc > [ 0.00058] process.0.start: cwd=/tmp /github/home/.ghcup/ghc/9.12.20241014/bin/ghc --info > [ 0.03486] peu.die: ghc-9.12.20241014- is...

I agree. I generally use `fail-fast: false` because: - I want to see _all problems_ CI can uncover as soon as possible. - Often jobs fail for random reasons (like...