#5862: Need kind annotations ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.4.1 Keywords: PolyKinds | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------
Comment(by simonpj@…): commit e0c849e0596baa1be828faf7b7de0b34be002612 {{{ Author: Simon Peyton Jones <simo...@microsoft.com> Date: Sun Mar 4 08:25:05 2012 +0000 Tidy up the handling of kind generalisation In particular in forall abc. <blah> we should kind generalise over <blah> as well as over the kinds of a,b,c. This fixes bug (in Trac #5862, caught by Lint) in the handling of data SMaybe a where SNothing :: SMaybe 'Nothing where I didn't get a sufficiently general kind. And it's simpler. compiler/typecheck/TcHsType.lhs | 45 +++++++---------------------------- compiler/typecheck/TcPat.lhs | 4 ++- compiler/typecheck/TcTyClsDecls.lhs | 43 +++++++++++++++++---------------- 3 files changed, 34 insertions(+), 58 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5862#comment:6> 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