#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 simonpj): Do I gather that you are working in #8004? That's good. * Look in `tcg_insts` for instances defined in this module. * Look in `tcg_type_env` for Ids, TyCons, Classes, defined in this module. This type envt doesn't (I think) include imported things Both are fields of `TcGblEnv`. Does that help? Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8004#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler