[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 <ben@…>): In [changeset:"dc8c03b2a5c70d3169e88d407f3ef28e0cb26af5/ghc" dc8c03b/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="dc8c03b2a5c70d3169e88d407f3ef28e0cb26af5" Run typeCheckResultAction and renamedResultAction in TcM rather than Hsc 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. Reviewers: bgamari Reviewed By: bgamari Subscribers: rwbarton, thomie, carter GHC Trac Issues: #15229 Differential Revision: https://phabricator.haskell.org/D4792 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15229#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC