#1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets ----------------------------------------+----------------------------------- Reporter: sorear | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 6.7 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: 5498 Related: | ----------------------------------------+----------------------------------- Comment(by morabbin): Is this bug handled by the POPL 2011 paper "Generative Type Abstraction and Type-level Computation"? Noted in #4846 as pointing the way to solving the problems therein. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1496#comment:40 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler