[GHC] #10902: Refactor type families in Template Haskell
GHC
ghc-devs at haskell.org
Sun Sep 20 03:48:01 UTC 2015
#10902: Refactor type families in Template Haskell
-------------------------------------+-------------------------------------
Reporter: goldfire | Owner:
Type: task | Status: new
Priority: normal | Milestone: 8.0.1
Component: Template | Version: 7.11
Haskell |
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: None/Unknown
Unknown/Multiple |
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Revisions: |
-------------------------------------+-------------------------------------
I see that we now have `OpenTypeFamilyD` and `ClosedTypeFamilyD` in
Template Haskell. These constructors have quite a lot in common, and I
think it's worth having a `TypeFamilyHead` datatype that contains the bits
in common.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10902>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list