Re: [GHC] #13178: Generalize type of runRW#

#13178: Generalize type of runRW# -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: dfeuer Type: feature request | Status: patch Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3012 Wiki Page: | -------------------------------------+------------------------------------- Comment (by David Feuer ): In [changeset:"c344005b2344800bee9fee1c5ca97867691b9c70/ghc" c344005b/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="c344005b2344800bee9fee1c5ca97867691b9c70" Generalize the type of runRW# * Generalize the type of `runRW#` to allow arbitrary return types. * Use `runRW#` to implement `Control.Monad.ST.Lazy.runST` (this provides evidence that it actually works properly with the generalized type). * Adjust the type signature in the definition of `oneShot` to match the one it is given in `MkId`. Reviewers: simonmar, austin, bgamari, hvr Reviewed By: bgamari Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D3012 GHC Trac Issues: #13178 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13178#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler