[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