Skip to content
Snippets Groups Projects
Select Git revision
  • wip/T17747
  • wip/tsan/no-barriers
  • wip/T20076
  • wip/supersven/riscv64-ncg
  • wip/T23109
  • wip/tsan/fixes
  • wip/check-gc
  • master default protected
  • wip/marge_bot_batch_merge_job
  • wip/sand-witch/#23434-wterm-variable-capture
  • wip/expand-do
  • wip/or-pats
  • wip/int-index/hdk-register-tok
  • wip/int-index/tok-where
  • wip/js-number-note-refs
  • wip/t23454
  • wip/T23143
  • wip/sand-witch/#16635-improve-errors
  • wip/T18389-task-zero
  • wip/haddock-mem-fixes
  • ghc-9.2.8-release
  • ghc-9.6.2-release
  • ghc-9.4.5-release
  • ghc-9.6.1-release
  • ghc-9.6.1-rc1
  • ghc-9.2.7-release
  • ghc-9.6.1-alpha3
  • ghc-9.2.6-release
  • ghc-9.6.1-alpha2
  • ghc-9.4.4-release
  • ghc-9.7-start
  • ghc-9.2.5-release
  • ghc-9.4.3-release
  • ghc-9.4.2-release
  • ghc-9.4.1-release
  • ghc-9.2.4-release
  • ghc-9.4.1-rc1
  • ghc-9.4.1-alpha3
  • ghc-9.2.3-release
  • ghc-9.4.1-alpha2
40 results
Blame Permalink
Forked from Glasgow Haskell Compiler / GHC
5543 commits behind the upstream repository.
  • Hai Nguyen Quang's avatar
    af41496f
    Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage. · af41496f
    Hai Nguyen Quang authored 
    - Add 19 new messages. Update test outputs accordingly.

- Pretty print suggest-extensions hints: remove space before
interspersed commas.

- Refactor Rank's MonoType constructors. Each MonoType constructor
should represent a specific case. With the Doc suggestion belonging
to the TcRnMessage diagnostics instead.

- Move Rank from Validity to its own `GHC.Tc.Types.Rank` module.

- Remove the outdated `check_irred_pred` check.

- Remove the outdated duplication check in `check_valid_theta`, which
was subsumed by `redundant-constraints`.

- Add missing test cases for quantified-constraints/T16474 & th/T12387a.
    af41496f
    History
    Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.
    Hai Nguyen Quang authored 
    - Add 19 new messages. Update test outputs accordingly.

- Pretty print suggest-extensions hints: remove space before
interspersed commas.

- Refactor Rank's MonoType constructors. Each MonoType constructor
should represent a specific case. With the Doc suggestion belonging
to the TcRnMessage diagnostics instead.

- Move Rank from Validity to its own `GHC.Tc.Types.Rank` module.

- Remove the outdated `check_irred_pred` check.

- Remove the outdated duplication check in `check_valid_theta`, which
was subsumed by `redundant-constraints`.

- Add missing test cases for quantified-constraints/T16474 & th/T12387a.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
T16474.hs 231 B