[GHC] #15229: Run typeCheckResultAction and renamedResultAction in TcM rather than Hsc

#15229: Run typeCheckResultAction and renamedResultAction in TcM rather than Hsc -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Keywords: plugins | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): Phab:D4792 | Wiki Page: -------------------------------------+------------------------------------- The primary motivation for this is that this allows users to access the warnings and error machinery present in TcM. However, it also allows users to use TcM actions which means they can typecheck GhcPs which could be significantly easier than constructing GhcTc. See https://phabricator.haskell.org/D4792 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15229 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#15229: Run typeCheckResultAction and renamedResultAction in TcM rather than Hsc -------------------------------------+------------------------------------- Reporter: mpickering | Owner: mpickering Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: plugins Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4792 Wiki Page: | -------------------------------------+------------------------------------- Changes (by mpickering): * owner: (none) => mpickering -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15229#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#15229: Run typeCheckResultAction and renamedResultAction in TcM rather than Hsc -------------------------------------+------------------------------------- Reporter: mpickering | Owner: mpickering Type: bug | Status: closed Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: fixed | Keywords: plugins Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4792 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => closed * resolution: => fixed Comment: It has been done. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15229#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#15229: Run typeCheckResultAction and renamedResultAction in TcM rather than Hsc
-------------------------------------+-------------------------------------
Reporter: mpickering | Owner: mpickering
Type: bug | Status: closed
Priority: normal | Milestone: 8.6.1
Component: Compiler | Version: 8.4.3
Resolution: fixed | Keywords: plugins
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s): Phab:D4792
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by Ben Gamari
participants (1)
-
GHC