#7778: kindFunResult panic with => inside a constraint -----------------------------+---------------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (Type checker) Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Following type (found by arkeet on #haskell) causes kindFunResult panic in 7.6 and HEAD: {{{ v :: ((Num Int => Num) ()) => () v = v }}} In a probably related issue, {{{ Prelude> :set -XFlexibleContexts -XRankNTypes Prelude> type T = Num Int => Num Bool Prelude> :k T T :: Constraint Prelude> :k Num Int => Num Bool Num Int => Num Bool :: * }}} -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7778 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler