Re: [GHC] #7404: Inconsistent treatment of overlap between type and kind variables in type families
#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 simo...@microsoft.com
Date: Mon Nov 26 12:18:15 2012 +
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
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #7404: Inconsistent treatment of overlap between type and kind variables in type families
#7404: Inconsistent treatment of overlap between type and kind variables in type families --+- Reporter: goldfire | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type checker) |Version: 7.7 Resolution: fixed| Keywords: PolyKinds Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: polykinds/T7404 | Blockedby: Blocking: |Related: --+- Changes (by simonpj): * status: new = closed * difficulty: = Unknown * resolution: = fixed * testcase: = polykinds/T7404 Comment: See also #6021. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7404#comment:2 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
