Generalize traceM, traceShowM (fixes #10023)
ClosedPublic

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

Details

Summary

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

Diff Detail

Repository
rGHC Glasgow Haskell Compiler
Lint
Automatic diff as part of commit; lint not applicable.
Unit
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.

LGTM

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.