Andreas Abel

ghc 9.8

1

- Allow text-2.1, add GHC 9.8 to Haskell CI - Add `default-extensions: TypeOperators` Published revisions allowing text-2.1 to Hackage. Successful CI run at: https://github.com/andreasabel/generic-lens/actions/runs/6970602551

GHC 9.8: Warnings about partial `head` and `tail` (`-Wx-partial`)

6

GHC 9.8 (alpha 1-3) reports new warnings with `-Wall`: ``` src/Lens/Micro/TH/Internal.hs:88:43: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Prelude, but defined in GHC.List): "This is a partial...

Nested `withtype` not translated correctly?

3

SML/NJ understands this: ```sml datatype Entry = e_val of string*Clos | e_gen of string*int withtype Env = Entry list and Clos = Tm*Env ``` MLton 20210117 (latest on homebrew) gives...

My general policy has changed to no longer support GHC 7 in packages I maintain.

This affects all releases of BNFC 2.9 and most of 2.8. Not affected: 2.8.1, 2.8.3.1 It is not clear though whether this makes `cabal` skip the `alex` and `happy` steps....

These modules should not be shipped but be generated by `alex` and `happy` **on the target system**.

List category of internal category should be internal

1

BNFC creates an invalid parser if one makes a list of internal non-terminals. ```abnf EVar. Exp ::= Ident ; internal VInteger. Val ::= Integer ; internal VExp. Val ::= Exp...

BNFC's layout handling does not implement the following clause, taken from the [Haskell 98 report](https://www.haskell.org/onlinereport/lexemes.html#lexemes-layout): > A close brace is also inserted whenever the syntactic category containing the layout list...

Closes #7177.

When an underscore is created during expansion of pattern synonyms, it lacks the scope info. The symptom is that constraints are printed in top-level scope (with lots of qualification). ```agda...