[GHC] #6018: Injective type families
GHC
cvs-ghc at haskell.org
Fri Jan 11 03:58:38 CET 2013
#6018: Injective type families
----------------------------------------+-----------------------------------
Reporter: lunaris | Owner: simonpj
Type: feature request | Status: new
Priority: normal | Milestone: 7.8.1
Component: Compiler | Version: 7.4.1
Keywords: TypeFamilies, Injective | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: #4259 |
----------------------------------------+-----------------------------------
Changes (by goldfire):
* related: => #4259
Comment:
Also see the discussion in #4259, which is about strengthening type
families along a different dimension. The two tickets are related.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6018#comment:11>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list