#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 ): 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

#9812: Split `SynTyCon` into `SynonymTyCon` and `FamilyTyCon` -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: 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 | -------------------------------------+------------------------------------- Changes (by jstolarek): * owner: jstolarek => * status: closed => new * resolution: fixed => Comment: Some documentation still refers to `SynTyCon`. Re-opening. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9812#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9812: Split `SynTyCon` into `SynonymTyCon` and `FamilyTyCon` -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: Type: task | Status: closed Priority: low | Milestone: Component: Compiler | Version: 7.9 Resolution: fixed | 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 | -------------------------------------+------------------------------------- Changes (by jstolarek): * status: new => closed * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9812#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler