#5716: Failure when using promoted data family instances -------------------------------+-------------------------------------------- Reporter: dreixel | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.4.2 Component: Compiler | Version: 7.5 Resolution: | Keywords: PolyKinds Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: polykinds/T5716 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by goldfire):
* cc: eir@… (added) * owner: simonpj => * status: closed => new * resolution: fixed => * version: 7.3 => 7.5 Comment: The following (nonsensical) code still fails, with the same internal error: {{{ {-# LANGUAGE DataKinds, TypeFamilies #-} data family Foo a data instance Foo a = Bar (Bar a) }}} This was tested on 7.5.20120330, which handles polykinds/T5716 correctly. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5716#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs