Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • GHC GHC
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 5,347
    • Issues 5,347
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 575
    • Merge requests 575
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Glasgow Haskell CompilerGlasgow Haskell Compiler
  • GHCGHC
  • Merge requests
  • !6129

Convert more TcRnUnknownMessage into named constructors in TcRnMessage

  • Review changes

  • Download
  • Email patches
  • Plain diff
Closed Alfredo Di Napoli requested to merge wip/adinapoli-issue-20081 into master Jul 06, 2021
  • Overview 21
  • Commits 12
  • Pipelines 3
  • Changes 15

See #20081 (closed) and #18516 for context.

This work-in-progress MR capitalises on the work started on #19930 (closed) by slowly porting all those TcRn diagnostics currently wrapped into an UnknownTcRnMessage into proper type constructors for the TcRnMessage type, together with their hints, if any.

Edited Jul 08, 2021 by Alfredo Di Napoli
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: wip/adinapoli-issue-20081