#7697: (=>) works on non-constraints ----------------------------------------+----------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: GHC accepts invalid program | Blockedby: Blocking: | Related: ----------------------------------------+----------------------------------- Comment(by simonpj@…): commit 24a0e442ed928e363c594c6389a72852b393b3f9 {{{ Author: Simon Peyton Jones <simonpj@microsoft.com> Date: Sun Mar 3 22:49:23 2013 +0000 Make sure that Constraint is unrelated to other kinds in tcIsSubKind This was causing the bug reported in Trac #7697 compiler/types/Kind.lhs | 9 +++++++-- 1 files changed, 7 insertions(+), 2 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7697#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler