[GHC] #10023: Relax Monad constraint in traceM and traceShowM to Applicative
GHC
ghc-devs at haskell.org
Fri Jul 3 20:44:15 UTC 2015
#10023: Relax Monad constraint in traceM and traceShowM to Applicative
-------------------------------------+-------------------------------------
Reporter: RyanGlScott | Owner:
Type: feature request | RyanGlScott
Priority: normal | Status: new
Component: libraries/base | Milestone: 7.12.1
Resolution: | Version: 7.10.1-rc1
Operating System: Unknown/Multiple | Keywords: newcomer
Type of failure: Other | Architecture:
Blocked By: | Unknown/Multiple
Related Tickets: | Test Case:
| Blocking:
| Differential Revisions: Phab:D1029
-------------------------------------+-------------------------------------
Comment (by Ben Gamari <ben@…>):
In [changeset:"39d83f239d33b1d214bdb7f7b3ce94d76d3e1467/ghc"]:
{{{
#!CommitTicketReference repository="ghc"
revision="39d83f239d33b1d214bdb7f7b3ce94d76d3e1467"
Generalize traceM, traceShowM (fixes #10023)
This generalizes the type signatures of `traceM` and `traceShowM` to
use `Applicative` rather than `Monad`.
Reviewers: austin, ekmett, hvr, bgamari
Reviewed By: ekmett, hvr, bgamari
Subscribers: thomie, bgamari
Differential Revision: https://phabricator.haskell.org/D1029
GHC Trac Issues: #10023
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10023#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list