[GHC] #11381: Put injective type families in a separate language extension
#11381: Put injective type families in a separate language extension -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: jstolarek Type: task | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc1 Keywords: TypeFamilies, | Operating System: Unknown/Multiple Injective | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #6018 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Injective type families should only be enabled when language extension `InjectiveTypeFamilies` is specified. This extension should imply `TypeFamilies`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11381> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11381: Put injective type families in a separate language extension -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: jstolarek Type: task | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc1 Resolution: | Keywords: TypeFamilies, | Injective Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: driver/T11381 Blocked By: | Blocking: Related Tickets: #6018 | Differential Rev(s): Phab:D1750 Wiki Page: | -------------------------------------+------------------------------------- Changes (by jstolarek): * testcase: => driver/T11381 * differential: => Phab:D1750 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11381#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11381: Put injective type families in a separate language extension -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: jstolarek Type: task | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc1 Resolution: | Keywords: TypeFamilies, | Injective Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: driver/T11381 Blocked By: | Blocking: Related Tickets: #6018 | Differential Rev(s): Phab:D1750 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"fbd6de2f0761b63a5f0a88ce0590f515d63790a4/ghc" fbd6de2f/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="fbd6de2f0761b63a5f0a88ce0590f515d63790a4" Add InjectiveTypeFamilies language extension Previously injective type families were part of TypeFamilies. Now they are in a separate language extension. Test Plan: ./validate Reviewers: austin, bgamari, goldfire Reviewed By: bgamari Subscribers: goldfire, thomie Differential Revision: https://phabricator.haskell.org/D1750 GHC Trac Issues: #11381 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11381#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11381: Put injective type families in a separate language extension -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: jstolarek Type: task | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc1 Resolution: fixed | Keywords: TypeFamilies, | Injective Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: driver/T11381 Blocked By: | Blocking: Related Tickets: #6018 | Differential Rev(s): Phab:D1750 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => closed * resolution: => fixed Comment: Merged to `master` and `ghc-8.0`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11381#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#11381: Put injective type families in a separate language extension -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: jstolarek Type: task | Status: closed Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc1 Resolution: fixed | Keywords: TypeFamilies, | Injective Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: driver/T11381 Blocked By: | Blocking: Related Tickets: #6018 | Differential Rev(s): Phab:D1750 Wiki Page: | -------------------------------------+------------------------------------- Old description:
Injective type families should only be enabled when language extension `InjectiveTypeFamilies` is specified. This extension should imply `TypeFamilies`.
New description: Injective type families should only be enabled when language extension `TypeFamilyDependencies` is specified. This extension should imply `TypeFamilies`. -- Comment (by bgamari): It was ultimately decided that the extension name should be generalized to `TypeFamilyDependencies`. This renaming was performed in, {{{ commit 78a4c729ecb07c92822625fda15f14a778679452 Author: Ben Gamari <ben@smart-cactus.org> Date: Thu Jan 14 11:52:10 2016 +0100 Rename InjectiveTypeFamilies to TypeFamilyDependencies }}} This has been merged to `ghc-8.0` as well. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11381#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC