Krzysztof Gogolewski

Accept haddockHtmlTest test output for ghc-9.0

7

Refs #1350

haddockHtmlTest failure in ghc-9.0

3

The test `haddockHtmlTest` fails with Haddock's `ghc-9.0` branch 23ee81fc79. I'm using the tip of GHC's `ghc-9.0` branch - commit c78867a186c21, except the submodule is updated: https://gitlab.haskell.org/tweag/ghc/-/pipelines/31780 I have not investigated...

"In a stmt of an interactive GHCi command: print it"

2

``` ghci> data T = MkT ghci> MkT :2:1: error: • No instance for (Show T) arising from a use of ‘print’ • In a stmt of an interactive GHCi...

Better suggestion for data constructors import list

2

Here's an error message: ``` Data constructor not in scope: NonRec :: Id -> GHC.Core.CoreExpr -> GHC.Core.Bind b0 Suggested fix: • Perhaps you want to add ‘NonRec’ to the import...

Suggest language extension for unlifted data family

1

When defining an unlifted datatype or newtype, GHC helpfully tells me `Suggested fix: Perhaps you intended to use UnliftedNewtypes` or `UnliftedDatatypes`. But this does not happen with data families, as...

Unbound variable in a pattern synonym

1

This ```haskell {-# LANGUAGE PatternSynonyms #-} pattern P x = () ``` gives ``` M.hs:2:11: error: Not in scope: ‘x’ | 2 | pattern P x = () | ^...

Add suggestions in "not a (visible) method"

1

If I refer to an unknown method in a class ```hs module M where import Data.Data (Data (gunfold)) data T instance Data T where toConstr = undefined gunfolt = undefined...

Go through the proposal text

1

The goal of this ticket is go to through the text of the [proposal](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-linear-types.rst) once more, and make sure all deficiencies have a matching ticket. Once this is done, let's...

Use reduceTyFamApp_maybe in Lint

3

Currently Core Lint manually reduces multiplication of multiplicities in `normalize` inside `ensureSubMult`. Goal: change to `reduceTyFamApp_maybe`.

Some parts of the linear rebindable syntax code are not covered, eg. #428. The goal is to add coverage.