Re: [GHC] #5514: bad variable escape analysis when TypeFamilies are enabled

2011-09-30 Thread GHC 
#5514: bad variable escape analysis when TypeFamilies are enabled
-+--
  Reporter:  dmwit   |  Owner:  
  Type:  bug | Status:  closed  
  Priority:  normal  |  Milestone:  
 Component:  Compiler|Version:  7.3 
Resolution:  fixed   |   Keywords:  
  Testcase:  typecheck/should_compile/T5514  |  Blockedby:  
Difficulty:  | Os:  Unknown/Multiple
  Blocking:  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown|  
-+--
Changes (by simonpj):

  * testcase:  = typecheck/should_compile/T5514


-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5514#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] #5514: bad variable escape analysis when TypeFamilies are enabled

2011-09-29 Thread GHC 
#5514: bad variable escape analysis when TypeFamilies are enabled
-+--
Reporter:  dmwit |Owner:  
Type:  bug   |   Status:  new 
Priority:  normal|Milestone:  
   Component:  Compiler  |  Version:  7.3 
Keywords:| Testcase:  
   Blockedby:|   Difficulty:  
  Os:  Unknown/Multiple  | Blocking:  
Architecture:  Unknown/Multiple  |  Failure:  None/Unknown
-+--

Comment(by simonpj):

 I'm on it.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5514#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] #5514: bad variable escape analysis when TypeFamilies are enabled

2011-09-29 Thread GHC 
#5514: bad variable escape analysis when TypeFamilies are enabled
-+--
Reporter:  dmwit |Owner:  
Type:  bug   |   Status:  new 
Priority:  normal|Milestone:  
   Component:  Compiler  |  Version:  7.3 
Keywords:| Testcase:  
   Blockedby:|   Difficulty:  
  Os:  Unknown/Multiple  | Blocking:  
Architecture:  Unknown/Multiple  |  Failure:  None/Unknown
-+--

Comment(by simonpj@…):

 commit 9aa66e06f220ce6318d9f72e3112912da7dc4c45
 {{{
 Author: Simon Peyton Jones simo...@microsoft.com
 Date:   Thu Sep 29 16:06:17 2011 +0100

 Eliminate alleged optimisation that means we bogusly did NoGen

 Fixes Trac #5514.  The fix is simply to delete some code.

  compiler/typecheck/TcBinds.lhs |4 +---
  1 files changed, 1 insertions(+), 3 deletions(-)
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5514#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] #5514: bad variable escape analysis when TypeFamilies are enabled

2011-09-29 Thread GHC 
#5514: bad variable escape analysis when TypeFamilies are enabled
---+
  Reporter:  dmwit |  Owner:  
  Type:  bug   | Status:  closed  
  Priority:  normal|  Milestone:  
 Component:  Compiler  |Version:  7.3 
Resolution:  fixed |   Keywords:  
  Testcase:|  Blockedby:  
Difficulty:| Os:  Unknown/Multiple
  Blocking:|   Architecture:  Unknown/Multiple
   Failure:  None/Unknown  |  
---+
Changes (by dmwit):

  * status:  new = closed
  * resolution:  = fixed


Comment:

 Fix works perfectly.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5514#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] #5514: bad variable escape analysis when TypeFamilies are enabled

2011-09-28 Thread GHC 
#5514: bad variable escape analysis when TypeFamilies are enabled
-+--
Reporter:  dmwit |   Owner:  
Type:  bug   |  Status:  new 
Priority:  normal|   Component:  Compiler
 Version:  7.3   |Keywords:  
Testcase:|   Blockedby:  
  Os:  Unknown/Multiple  |Blocking:  
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
-+--

Comment(by dmwit):

 Actually, the example can be made even a bit simpler by replacing the line

 {{{instance (Foo a, Foo b) = Foo (a, b) where}}}

 by the line

 {{{instance Foo [a] where}}}

 if that simplification seems helpful.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5514#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

[GHC] #5514: bad variable escape analysis when TypeFamilies are enabled

2011-09-27 Thread GHC 
#5514: bad variable escape analysis when TypeFamilies are enabled
-+--
Reporter:  dmwit |   Owner:  
Type:  bug   |  Status:  new 
Priority:  normal|   Component:  Compiler
 Version:  7.3   |Keywords:  
Testcase:|   Blockedby:  
  Os:  Unknown/Multiple  |Blocking:  
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
-+--
 The following minimal example causes a type error in 7.3.20110927:

 {{{
 {-# LANGUAGE TypeFamilies #-}

 class Foo a where
 foo :: a - a

 instance (Foo a, Foo b) = Foo (a, b) where
 foo = foo' ()

 foo' es = const id (unitId es)

 unitId :: () - ()
 unitId = id
 }}}

 Specifically, the error given is:

 {{{
 test.hs:6:10:
 Couldn't match type `a0' with `(a, b)'
   because type variables `a', `b' would escape their scope
 These (rigid, skolem) type variables are bound by
   the instance declaration
 The following variables have types that mention a0
   foo' :: () - a0 - a0 (bound at test.hs:9:1)
 In the instance declaration for `Foo (a, b)'
 }}}

 This code compiles successfully as recently as 7.3.20110726 (though I
 haven't tested any GHC versions in between these two).

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5514
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