[GHC] #9814: Add Data.Void to base
#9814: Add Data.Void to base -------------------------------------+------------------------------------- Reporter: shachaf | Owner: ekmett Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: Core Libraries | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Last year I [http://thread.gmane.org/gmane.comp.lang.haskell.libraries/19867 proposed] adding `Data.Void`, with a canonical uninhabited type `Void`, to base. This would replace the module of the same name in Edwardk Kmett's [http://hackage.haskell.org/package/void void] package (and in turn he'll update his package to reëxport the module from base). The response to the proposal was mostly positive; there were a couple of objections to the name, but `Void` is so standard by now that it seems pointless to change it, and no better name was suggested. Unfortunately I never did anything about it at the end of the discussion period. Recently several people have asked me to move this proposal along, and I'm finally getting around to making the ticket. Hopefully it can happen before the 7.10 freeze. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9814> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9814: Add Data.Void to base -------------------------------------+------------------------------------- Reporter: shachaf | Owner: hvr Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.8.3 Component: Core | Keywords: Libraries | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by hvr): * owner: ekmett => hvr -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9814#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9814: Add Data.Void to base -------------------------------------+------------------------------------- Reporter: shachaf | Owner: hvr Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: Component: Core | Keywords: Libraries | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D506 | -------------------------------------+------------------------------------- Changes (by hvr): * status: new => patch * differential: => Phab:D506 * version: 7.8.3 => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9814#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9814: Add Data.Void to base -------------------------------------+------------------------------------- Reporter: shachaf | Owner: hvr Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: Component: Core | Keywords: Libraries | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D506 | -------------------------------------+------------------------------------- Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"a97f90cecb6351a6db5a62c1551fcbf079b0acdd/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="a97f90cecb6351a6db5a62c1551fcbf079b0acdd" Add Data.Void to base (re #9814) This adds the module `Data.Void` (formerly provided by Edward Kmett's `void` package) to `base`. The original Haskell98 compatible implementation has been modified to use modern GHC features (among others this makes use of `EmptyCase` as motivated by #2431), and `vacuousM` was dropped since it's redundant now with the AMP in place. Instances for classes not part of `base` had to be dropped as well. TODO: Documentation could be improved Reviewed By: ekmett, austin Differential Revision: https://phabricator.haskell.org/D506 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9814#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9814: Add Data.Void to base -------------------------------------+------------------------------------- Reporter: shachaf | Owner: hvr Type: feature | Status: closed request | Milestone: 7.10.1 Priority: normal | Version: Component: Core | Keywords: Libraries | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D506 | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: patch => closed * resolution: => fixed Comment: Done. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9814#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC