Re: [GHC] #7489: Obscure warning: Var/Type length mismatch when using GADTs and TypeFamilies
#7489: Obscure warning: Var/Type length mismatch when using GADTs and TypeFamilies -+-- Reporter: portnov | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler|Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple| Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Difficulty: Unknown Testcase: indexed_types/should_compile/T7489 | Blockedby: Blocking: |Related: -+-- Changes (by igloo): * status: merge = closed Comment: Merged as 52e00f821c03fd2e3be7033f4f3b50ace05300fc -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7489#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
Re: [GHC] #7489: Obscure warning: Var/Type length mismatch when using GADTs and TypeFamilies
#7489: Obscure warning: Var/Type length mismatch when using GADTs and TypeFamilies -+-- Reporter: portnov | Owner: Type: bug | Status: merge Priority: normal | Milestone: Component: Compiler|Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple| Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Difficulty: Unknown Testcase: indexed_types/should_compile/T7489 | Blockedby: Blocking: |Related: -+-- Comment(by portnov): Hi. Thanks for fixing the bug. Which version of GHC will include this fix? 7.6.2 or only 7.8 ? -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7489#comment:4 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] #7489: Obscure warning: Var/Type length mismatch when using GADTs and TypeFamilies
#7489: Obscure warning: Var/Type length mismatch when using GADTs and TypeFamilies -+-- Reporter: portnov | Owner: Type: bug | Status: merge Priority: normal | Milestone: Component: Compiler|Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple| Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Difficulty: Unknown Testcase: indexed_types/should_compile/T7489 | Blockedby: Blocking: |Related: -+-- Comment(by simonpj): I think it can get into 7.6 if Ian does the merge before the (imminent) release. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7489#comment:5 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] #7489: Obscure warning: Var/Type length mismatch when using GADTs and TypeFamilies
#7489: Obscure warning: Var/Type length mismatch when using GADTs and
TypeFamilies
-+--
Reporter: portnov | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler|Version: 7.6.1
Resolution: fixed | Keywords:
Os: Unknown/Multiple| Architecture:
Unknown/Multiple
Failure: Incorrect warning at compile-time | Difficulty: Unknown
Testcase: indexed_types/should_compile/T7489 | Blockedby:
Blocking: |Related:
-+--
Changes (by simonpj):
* status: new = closed
* difficulty: = Unknown
* resolution: = fixed
* testcase: = indexed_types/should_compile/T7489
Comment:
commit 3394d49af13697626145aca6d80b65ae8661418c
{{{
Author: Simon Peyton Jones simo...@microsoft.com
Date: Wed Dec 19 17:37:27 2012 +
Pass the correct inst_tys argument to dataConCannotMatch, in
mkRecSelBinds
This fixes Trac #7503.
compiler/typecheck/TcTyClsDecls.lhs | 16 ++--
1 files changed, 10 insertions(+), 6 deletions(-)
}}}
The commit message is wrong... this is the patch that fixes #7489!
Simon
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7489#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
Re: [GHC] #7489: Obscure warning: Var/Type length mismatch when using GADTs and TypeFamilies
#7489: Obscure warning: Var/Type length mismatch when using GADTs and TypeFamilies -+-- Reporter: portnov | Owner: Type: bug | Status: merge Priority: normal | Milestone: Component: Compiler|Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple| Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Difficulty: Unknown Testcase: indexed_types/should_compile/T7489 | Blockedby: Blocking: |Related: -+-- Changes (by simonpj): * status: closed = merge -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7489#comment:3 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] #7489: Obscure warning: Var/Type length mismatch when using GADTs and TypeFamilies
#7489: Obscure warning: Var/Type length mismatch when using GADTs and TypeFamilies --+- Reporter: portnov| Owner: Type: bug| Status: new Priority: normal | Component: Compiler Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Blockedby: Blocking: |Related: --+- Changes (by portnov): * failure: None/Unknown = Incorrect warning at compile-time -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7489#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
