[GHC] #15879: Make UniqDSet a newtype
#15879: Make UniqDSet a newtype -------------------------------------+------------------------------------- Reporter: sgraf | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.6.3 Component: Compiler | Version: 8.6.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #13114 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- For the same reasons as in #13114 and Phab:D3146 we should make `UniqDSet` a newtype of `UniqDFM`. I wonder if we can also have a prettier `Outputable` instance this way. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15879> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#15879: Make UniqDSet a newtype -------------------------------------+------------------------------------- Reporter: sgraf | Owner: (none) Type: task | Status: patch Priority: normal | Milestone: 8.6.3 Component: Compiler | Version: 8.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #13114 | Differential Rev(s): Phab:D5313 Wiki Page: | -------------------------------------+------------------------------------- Changes (by sgraf): * status: new => patch * differential: => Phab:D5313 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15879#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#15879: Make UniqDSet a newtype -------------------------------------+------------------------------------- Reporter: sgraf | Owner: (none) Type: task | Status: patch Priority: normal | Milestone: 8.6.3 Component: Compiler | Version: 8.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #13114 | Differential Rev(s): Phab:D5313 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Sebastian Graf <sebastian.graf@…>): In [changeset:"5b98a38a32f2bc8491dc897631be8892919e2143/ghc" 5b98a38a/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="5b98a38a32f2bc8491dc897631be8892919e2143" Make `UniqDSet` a newtype Summary: This brings the situation of `UniqDSet` in line with `UniqSet`. @dfeuer said in D3146#92820 that he would do this, but probably never got around to it. Validated locally. Reviewers: AndreasK, mpickering, bgamari, dfeuer, simonpj Reviewed By: simonpj Subscribers: simonpj, rwbarton, carter, dfeuer GHC Trac Issues: #15879, #13114 Differential Revision: https://phabricator.haskell.org/D5313 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15879#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#15879: Make UniqDSet a newtype -------------------------------------+------------------------------------- Reporter: sgraf | Owner: (none) Type: task | Status: closed Priority: normal | Milestone: 8.6.3 Component: Compiler | Version: 8.6.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #13114 | Differential Rev(s): Phab:D5313 Wiki Page: | -------------------------------------+------------------------------------- Changes (by monoidal): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15879#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#15879: Make UniqDSet a newtype -------------------------------------+------------------------------------- Reporter: sgraf | Owner: (none) Type: task | Status: closed Priority: normal | Milestone: 8.6.3 Component: Compiler | Version: 8.6.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #13114 | Differential Rev(s): Phab:D5313 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Krzysztof Gogolewski <krz.gogolewski@…>): In [changeset:"17e771e17e2374f50f39948955e583760f28351f/ghc" 17e771e1/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="17e771e17e2374f50f39948955e583760f28351f" More compact Outputable instance for `Uniq(D)Set` Summary: Until now, `UniqSet` and `UniqDSet` inherited their `Outputable` instances from `UniqFM` and `UniqDFM`. That made for verbose and redundant output. This patch rectifies that by pretty-printing these sets in common math notation. E.g., previously, we would render `UniqSet`s like this: [s2fE :-> x_s2fE, s2fF :-> y_s2fF, s2fG :-> z_s2fG, s2fH :-> g_s2fH] Now, they're are printed like this: {x_s2fE, y_s2fF, z_s2fG, g_s2fH} Reviewers: simonpj, bgamari, AndreasK, dfeuer, osa1 Reviewed By: osa1 Subscribers: osa1, rwbarton, carter GHC Trac Issues: #15879 Differential Revision: https://phabricator.haskell.org/D5315 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15879#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC