#4259: Relax restrictions on type family instance overlap
----------------------------------------+-----------------------------------
Reporter: lilac | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 7.4.1
Component: Compiler (Type checker) | Version: 6.12.1
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
----------------------------------------+-----------------------------------
Changes (by pumpkin):
* cc: pumpkingod@… (added)
Comment:
It seems like now that we have lifted types into kinds, we can already
define effectively closed type families (with a domain over a lifted
type), which should be able to allow GHC to reason locally about overlap
and completeness. Could that be used to help things along here?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4259#comment:13>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
