Fix Applicative instances in the wake of AMP
I haven't tracked down all the problems yet, but several experiments leading to validation failures strongly suggest that some Applicative
instances in the GHC tree fail to interact properly with their associated Monad
instances. That is, ap ≠ (<*>)
and/or (>>) ≠ (*>)
. We should be able to fix these up by fleshing out the appropriate instance declarations.
Trac metadata
Trac field | Value |
---|---|
Version | 7.8.3 |
Type | Task |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Core Libraries |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | core-libraries-committee@haskell.org |
Operating system | |
Architecture |