#7404: Inconsistent treatment of overlap between type and kind variables in type
families
-----------------------------+----------------------------------------------
Reporter: goldfire | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type checker)
Version: 7.7 | Keywords: PolyKinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Blockedby:
Blocking: | Related:
-----------------------------+----------------------------------------------
Comment(by simonpj@…):
commit 661c1c112eb40efd75ac61643c3e1231f60d58d4
{{{
Author: Simon Peyton Jones <[email protected]>
Date: Mon Nov 26 12:18:15 2012 +0000
Improve error message when a variable is used both as kind and type
variable
Fixes Trac #7404
compiler/rename/RnTypes.lhs | 15 +++++++++++++++
1 files changed, 15 insertions(+), 0 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7404#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
