Skip to content
Snippets Groups Projects
Unverified Commit acc49776 authored by Naïm Favier's avatar Naïm Favier
Browse files

ghc-internal: add MonadFix instance for (,) 

Closes ghc/ghc#24288, implements CLC
proposal https://github.com/haskell/core-libraries-committee/issues/238.

Adds a MonadFix instance for tuples, permitting value recursion in the
"native" writer monad and bringing consistency with the existing
instance for transformers's WriterT (and, to a lesser extent, for Solo).

See the CLC thread for proofs of the MonadFix laws.
parent 8bbe12f2
Branches ghc-spj
No related tags found
Checking pipeline status
Hide whitespace changes
Inline Side-by-side
Showing
with 10 additions and 2 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment