Re: [GHC] #7332: Kind-defaulting omitted leads to deeply obscure type error

2013-01-08 Thread GHC
#7332: Kind-defaulting omitted leads to deeply obscure type error
---+
  Reporter:  simonpj   |  Owner:  simonpj 
  Type:  bug   | Status:  closed  
  Priority:  high  |  Milestone:  7.6.2   
 Component:  Compiler  |Version:  7.6.1   
Resolution:  fixed |   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:  polykinds/T7332   |  Blockedby:  
  Blocking:|Related:  
---+
Changes (by simonpj):

  * status:  new => closed
  * resolution:  => fixed


Comment:

 I think it's Too Bad for 7.6, I'm afraid.

-- 
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] #7332: Kind-defaulting omitted leads to deeply obscure type error

2012-11-29 Thread GHC
#7332: Kind-defaulting omitted leads to deeply obscure type error
---+
  Reporter:  simonpj   |  Owner:  simonpj 
  Type:  bug   | Status:  new 
  Priority:  high  |  Milestone:  7.6.2   
 Component:  Compiler  |Version:  7.6.1   
Resolution:|   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:  polykinds/T7332   |  Blockedby:  
  Blocking:|Related:  
---+
Changes (by igloo):

  * owner:  => simonpj
  * milestone:  7.8.1 => 7.6.2


Comment:

 Simon, could you take a look at fixing this on the 7.6 branch please? (or
 close it if you don't think it's worth the effort).

-- 
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] #7332: Kind-defaulting omitted leads to deeply obscure type error

2012-11-29 Thread GHC
#7332: Kind-defaulting omitted leads to deeply obscure type error
---+
  Reporter:  simonpj   |  Owner:  
  Type:  bug   | Status:  new 
  Priority:  high  |  Milestone:  7.8.1   
 Component:  Compiler  |Version:  7.6.1   
Resolution:|   Keywords:  
Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  | Difficulty:  Unknown 
  Testcase:  polykinds/T7332   |  Blockedby:  
  Blocking:|Related:  
---+
Changes (by igloo):

  * status:  merge => new


-- 
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] #7332: Kind-defaulting omitted leads to deeply obscure type error

2012-10-26 Thread GHC
#7332: Kind-defaulting omitted leads to deeply obscure type error
-+--
Reporter:  simonpj   |   Owner:  
Type:  bug   |  Status:  merge   
Priority:  high  |   Milestone:  7.8.1   
   Component:  Compiler  | Version:  7.6.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  polykinds/T7332 
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by simonpj):

  * status:  new => merge
  * testcase:  => polykinds/T7332


-- 
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] #7332: Kind-defaulting omitted leads to deeply obscure type error

2012-10-26 Thread GHC
#7332: Kind-defaulting omitted leads to deeply obscure type error
-+--
Reporter:  simonpj   |   Owner:  
Type:  bug   |  Status:  new 
Priority:  high  |   Milestone:  7.8.1   
   Component:  Compiler  | Version:  7.6.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--

Comment(by simonpj@…):

 commit 743582514c068c34235af2750dd5a726e981b77c
 {{{
 Author: Simon Peyton Jones 
 Date:   Mon Oct 15 10:56:22 2012 +0100

 Add kind-defaulting in simplifyInfer (fixes Trac #7332)

 The basic point here is described in TcSimplify
Note [Promote _and_ default when inferring]
 The new thing is that, when figuring out the predicates
 to abstact over in simplifyInfer, we must default OpenKind
 to *, just as we do in quantifyTyVar. I had not realised
 how important this was until Oleg came up with Trac #7332.

 As usual I did some refactoring, so the patch affects
 many more lines than strictly necessary.

  compiler/typecheck/TcSimplify.lhs |  266
 ++---
  1 files changed, 129 insertions(+), 137 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


Re: [GHC] #7332: Kind-defaulting omitted leads to deeply obscure type error

2012-10-15 Thread GHC
#7332: Kind-defaulting omitted leads to deeply obscure type error
-+--
Reporter:  simonpj   |   Owner:  
Type:  bug   |  Status:  new 
Priority:  high  |   Milestone:  7.8.1   
   Component:  Compiler  | Version:  7.6.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by simonpj):

 * cc: oleg@… (added)


-- 
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] #7332: Kind-defaulting omitted leads to deeply obscure type error

2012-10-15 Thread GHC
#7332: Kind-defaulting omitted leads to deeply obscure type error
-+--
Reporter:  simonpj   |   Owner:  
Type:  bug   |  Status:  new 
Priority:  high  |   Milestone:  7.8.1   
   Component:  Compiler  | Version:  7.6.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by simonpj):

  * priority:  normal => high
  * milestone:  => 7.8.1


Comment:

 Good catch!  In the transition from 7.4 I simplified the way that let-
 generalised types are inferred, and in so doing introduced an error.  In
 this case it's because we infer a constraint `Build (DC d) (a -> t)`,
 where `a :: OpenKind` and that means it doesn't match the instance
 declaration.  However it is defaulted to `a : *` during quantification,
 and the result is very confusing and wrong.

 Happily it's easy to fix.  Patch coming.

 Simon

-- 
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