Re: [GHC] #7536: Panic with TypeFamilies with type synonym instances
#7536: Panic with TypeFamilies with type synonym instances --+- Reporter: snowleopard | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler |Version: 7.6.1 Resolution: fixed| Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Compile-time crash | Difficulty: Unknown Testcase: indexed_types/should_fail/T7536 | Blockedby: Blocking: |Related: --+- Changes (by igloo): * status: merge = closed * resolution: = fixed Comment: Not smooth, so not merging. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7536#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] #7536: Panic with TypeFamilies with type synonym instances
#7536: Panic with TypeFamilies with type synonym instances
---+
Reporter: snowleopard | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.6.1 | Keywords:
Os: Unknown/Multiple| Architecture: Unknown/Multiple
Failure: Compile-time crash | Blockedby:
Blocking: |Related:
---+
Comment(by simonpj@…):
commit e89f3bac94f513841f46346528183920783ce1f9
{{{
Author: Simon Peyton Jones simo...@microsoft.com
Date: Wed Jan 2 08:26:28 2013 +
In type or data instances, check that all variables are bound
Trac #7536 points out that it's possible for the LHS to *look*
as if it binds variables, but does not acutally do so
type T a = Int
type instance F (T a) = a
This patch makes it an error.
compiler/typecheck/TcInstDcls.lhs | 43
++-
compiler/typecheck/TcMType.lhs | 36 ++---
compiler/typecheck/TcTyClsDecls.lhs | 23 ++
3 files changed, 57 insertions(+), 45 deletions(-)
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7536#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] #7536: Panic with TypeFamilies with type synonym instances
#7536: Panic with TypeFamilies with type synonym instances -+-- Reporter: snowleopard | Owner: Type: bug | Status: merge Priority: normal| Milestone: Component: Compiler | Version: 7.6.1 Keywords:| Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Compile-time crash Difficulty: Unknown |Testcase: indexed_types/should_fail/T7536 Blockedby:|Blocking: Related:| -+-- Changes (by simonpj): * status: new = merge * difficulty: = Unknown * testcase: = indexed_types/should_fail/T7536 Comment: Thanks for pointing this out. I guess this fix is worth merging to the 7.6 branch, if it goes through smoothly. Simon -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7536#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] #7536: Panic with TypeFamilies with type synonym instances (was: Panic with TypeFamilies and FlexibleInstances)
#7536: Panic with TypeFamilies with type synonym instances
---+
Reporter: snowleopard | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.6.1 | Keywords:
Os: Unknown/Multiple| Architecture: Unknown/Multiple
Failure: Compile-time crash | Blockedby:
Blocking: |Related:
---+
Comment(by rotsor):
I've been able to also reproduce it without type classes:
{{{
{-# LANGUAGE TypeFamilies #-}
module M where
type T v = Int
type family TF a :: *
type instance TF (T a) = a
panic :: TF Int
panic = undefined
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7536#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
