#8004: Applicative/Monad proposal related warnings (AMP phase 1) -------------------------------------+------------------------------------ Reporter: quchen | Owner: Type: feature request | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by quchen): Thanks for the helpful hint, Simon. Just before I found that tcg_insts is a good place to look at by successively printing everything in the global environment, and you confirmed that that promising field is indeed correct. Now I can stop worrying about whether I'm coding everything based on a false premise :-) As some sort of status report, I think the core functionality of issuing the Applicative/Monad warnings is done now (and therefore also Alternative/MonadPlus). What's still missing is making this dependent on compiler flags, printing proper line numbers, and of course the "warn on custom join/<*>/pure" issue. (I should also credit danr for implementing the most significant parts up to this point.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8004#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler