Re: [GHC] #7404: Inconsistent treatment of overlap between type and kind variables in type families

2012-11-26 Thread GHC 
#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: 
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

2012-11-26 Thread GHC 
#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 
 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: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

[GHC] #7404: Inconsistent treatment of overlap between type and kind variables in type families

2012-11-12 Thread GHC 
#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: 
-+--
 The following code compiles on 7.7.20121031:

 {{{
 type family Foo (x :: *) (y :: x)
 type instance Foo Bool Int = Int
 }}}

 After some poking around, I discovered that GHC is treating the type
 variable {{{x}}} and the kind variable {{{x}}} as distinct. In core, Foo
 has three arguments.

 The following code does not compile:

 {{{
 type family Bar (x :: *) :: x
 }}}

 The error is

 {{{
 Type variable `x' used in a kind
 In the kind `x'
 }}}

 I can see arguments in favor of either of the above treatments (separate
 namespaces for type and kind variables vs. unified namespace), but the
 current implementation seems inconsistent to me.

-- 
Ticket URL: 
GHC 
The Glasgow Haskell Compiler

___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs