[GHC] #13323: Backpack doesn't work with DuplicateRecordFields
#13323: Backpack doesn't work with DuplicateRecordFields -------------------------------------+------------------------------------- Reporter: ezyang | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Type checker) | Keywords: backpack | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- With {{{ {-# LANGUAGE DuplicateRecordFields #-} unit p where signature A where data A = A { foo :: Int } data B = B { foo :: Bool } }}} I get: {{{ [1 of 1] Processing p [1 of 1] Compiling A[sig] ( p/A.hsig, nothing ) <no location info>: error: The identifier $sel:foo:A does not exist in the local signature. (Try adding it to the export list of the hsig file.) }}} This is happening because the "exports" test is checking only the children of AvailTC, and not the field labels. Should be an easy fix. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13323> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13323: Backpack doesn't work with DuplicateRecordFields -------------------------------------+------------------------------------- Reporter: ezyang | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler (Type | Version: 8.1 checker) | Resolution: | Keywords: backpack Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3175 Wiki Page: | -------------------------------------+------------------------------------- Changes (by ezyang): * status: new => patch * differential: => Phab:D3175 * version: 8.0.1 => 8.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13323#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13323: Backpack doesn't work with DuplicateRecordFields -------------------------------------+------------------------------------- Reporter: ezyang | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler (Type | Version: 8.1 checker) | Resolution: | Keywords: backpack Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3175 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Edward Z. Yang <ezyang@…>): In [changeset:"8f8016a5cb006fe14e1058c01a215b90e8435cc8/ghc" 8f8016a5/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="8f8016a5cb006fe14e1058c01a215b90e8435cc8" Include OverloadedRecordFields selectors in NameShape. Summary: Fixes #13323. Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu> Test Plan: validate Reviewers: bgamari, austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D3175 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13323#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13323: Backpack doesn't work with DuplicateRecordFields -------------------------------------+------------------------------------- Reporter: ezyang | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type | Version: 8.1 checker) | Resolution: fixed | Keywords: backpack Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3175 Wiki Page: | -------------------------------------+------------------------------------- Changes (by ezyang): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13323#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC