#15277: Move field name resolution to the type-checker -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.5 (Type checker) | Keywords: ORF | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #15149 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Per discussion on #15149, we plan to make the type-checker responsible for all field name lookup in record construction, pattern-matching and updates. This should be simpler than the current story and let us get rid of `tcg_field_env`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15277 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler