Generalize traceM, traceShowM (fixes #10023)

Authored by RyanGlScott on Jul 2 2015, 3:51 PM.



This generalizes the type signatures of traceM and traceShowM to
use Applicative rather than Monad.

Diff Detail

rGHC Glasgow Haskell Compiler
Automatic diff as part of commit; lint not applicable.
Automatic diff as part of commit; unit tests not applicable.
RyanGlScott updated this revision to Diff 3376.Jul 2 2015, 3:51 PM
RyanGlScott retitled this revision from to Generalize traceM, traceShowM (fixes #10023).
RyanGlScott updated this object.
RyanGlScott edited the test plan for this revision. (Show Details)
RyanGlScott added a reviewer: hvr.
RyanGlScott updated the Trac tickets for this revision.
ekmett accepted this revision.Jul 2 2015, 4:43 PM
ekmett edited edge metadata.


This revision is now accepted and ready to land.Jul 2 2015, 4:43 PM
hvr accepted this revision.Jul 3 2015, 4:10 AM
hvr edited edge metadata.

LGTM (although I'm wondering if there's any actual use-case for this)

bgamari accepted this revision.Jul 3 2015, 7:00 AM
bgamari added a reviewer: bgamari.

Looks like a worthwhile generalization.

This revision was automatically updated to reflect the committed changes.