[GHC] #9812: Split `SynTyCon` into `SynonymTyCon` and `FamilyTyCon`
GHC
ghc-devs at haskell.org
Thu Nov 20 19:06:15 UTC 2014
#9812: Split `SynTyCon` into `SynonymTyCon` and `FamilyTyCon`
-------------------------------------+-------------------------------------
Reporter: jstolarek | Owner: jstolarek
Type: task | Status: new
Priority: low | Milestone:
Component: Compiler | Version: 7.9
Resolution: | Keywords:
Operating System: | Architecture: Unknown/Multiple
Unknown/Multiple | Difficulty: Moderate (less
Type of failure: | than a day)
None/Unknown | Blocked By:
Test Case: | Related Tickets:
Blocking: |
Differential Revisions: Phab:D508 |
-------------------------------------+-------------------------------------
Comment (by Jan Stolarek <jan.stolarek@…>):
In [changeset:"696fc4ba5b36f478d8daec56656ebf7d99e18159/ghc"]:
{{{
#!CommitTicketReference repository="ghc"
revision="696fc4ba5b36f478d8daec56656ebf7d99e18159"
Split SynTyCon to SynonymTyCon and FamilyTyCon
This patch refactors internal representation of type synonyms and type
families by splitting them into two separate data constructors of TyCon
data type. The main motivation is is that some fields make sense only for
type synonyms and some make sense only for type families. This will be
even more true with the upcoming injective type families.
There is also some refactoring of names to keep the naming constistent.
And thus tc_kind field has become tyConKind and tc_roles has become
tcRoles. Both changes are not visible from the outside of TyCon module.
Updates haddock submodule
Reviewers: simonpj
Differential Revision: https://phabricator.haskell.org/D508
GHC Trac Issues: #9812
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9812#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list