[GHC] #15219: Implement UnliftedNewtypes proposal
#15219: Implement UnliftedNewtypes proposal -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Keywords: | Operating System: Unknown/Multiple UnliftedNewtypes | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The unlifted newtypes proposal is described here: https://github.com/ghc- proposals/ghc-proposals/blob/master/proposals/0013-unlifted-newtypes.rst I am going to be working on it. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15219 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15219: Implement UnliftedNewtypes proposal -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: | UnliftedNewtypes, GhcProposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * keywords: UnliftedNewtypes => UnliftedNewtypes, GhcProposal -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15219#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15219: Implement UnliftedNewtypes proposal -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: | UnliftedNewtypes, GHCProposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by goldfire): * keywords: UnliftedNewtypes, GhcProposal => UnliftedNewtypes, GHCProposal Comment: (Does case of keywords even matter?) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15219#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15219: Implement UnliftedNewtypes proposal -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: | UnliftedNewtypes, GHCProposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by LeanderK): Question: Would it be possible to introduce UnliftedNewtypes in one of the following releases (something like 8.6.3?)? I have a use-case where levity-polymorphism would help, but it crucially relies on having levity polymorphic newtypes. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15219#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15219: Implement UnliftedNewtypes proposal -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: | UnliftedNewtypes, GHCProposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by mpickering): No, new releases are for bug fixes. 8.8 will not be a very long time away. I don't even think the feature is implemented yet. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15219#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15219: Implement UnliftedNewtypes proposal -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: | UnliftedNewtypes, GHCProposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by andrewthad): We will definitely need to wait until 8.8. I've made some attempts at it on https://phabricator.haskell.org/D4777, but it still doesn't work right. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15219#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15219: Implement UnliftedNewtypes proposal -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: | UnliftedNewtypes, GHCProposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #1311 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by osa1): * related: => #1311 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15219#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15219: Implement UnliftedNewtypes proposal -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: | UnliftedNewtypes, GHCProposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #1311 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by dfeuer): * cc: dfeuer (added) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15219#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15219: Implement UnliftedNewtypes proposal -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: | UnliftedNewtypes, GHCProposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #1311 | Differential Rev(s): Phab:D477 Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * differential: => Phab:D477 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15219#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15219: Implement UnliftedNewtypes proposal -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: | UnliftedNewtypes, GHCProposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #1311 | Differential Rev(s): Phab:D4777 Wiki Page: | -------------------------------------+------------------------------------- Changes (by dfeuer): * differential: Phab:D477 => Phab:D4777 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15219#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15219: Implement UnliftedNewtypes proposal -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.10.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: | UnliftedNewtypes, GHCProposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #1311 | Differential Rev(s): Phab:D4777 Wiki Page: | -------------------------------------+------------------------------------- Comment (by LeanderK): just for motivation: I am still very much looking forward to this feature :) But I understand that there might be other priorities. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15219#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15219: Implement UnliftedNewtypes proposal -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.10.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: | UnliftedNewtypes, GHCProposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #1311 | Differential Rev(s): Phab:D4777 Wiki Page: | -------------------------------------+------------------------------------- Comment (by andrewthad): This feature is nearly complete, but it has to wait for 8.10 since the 8.8 branch has already been cut. At this point, I'm just fixing little problems and documenting the implementation better. I'm looking forward to having this as well. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15219#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#15219: Implement UnliftedNewtypes proposal -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.10.1 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: | UnliftedNewtypes, GHCProposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #1311 | Differential Rev(s): Phab:D4777, Wiki Page: | https://gitlab.haskell.org/ghc/ghc/merge_requests/364 -------------------------------------+------------------------------------- Changes (by RyanGlScott): * differential: Phab:D4777 => Phab:D4777, https://gitlab.haskell.org/ghc/ghc/merge_requests/364 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15219#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC