Re: [GHC] #7525: Compiler panic with ill-typed code using implicit parameters

2013-01-04 Thread GHC 
#7525: Compiler panic with ill-typed code using implicit parameters
--+-
  Reporter:  parcs|  Owner:  
  Type:  bug  | Status:  closed  
  Priority:  normal   |  Milestone:  
 Component:  Compiler |Version:  7.7 
Resolution:  fixed|   Keywords:  
Os:  Unknown/Multiple |   Architecture:  Unknown/Multiple
   Failure:  Compile-time crash   | Difficulty:  Unknown 
  Testcase:  typecheck/should_fail/T7525  |  Blockedby:  
  Blocking:   |Related:  
--+-
Changes (by igloo):

  * status:  merge = closed
  * resolution:  = fixed


Comment:

 Already works in 7.6 branch, so not merging.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7525#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] #7525: Compiler panic with ill-typed code using implicit parameters

2012-12-24 Thread GHC 
#7525: Compiler panic with ill-typed code using implicit parameters
---+
Reporter:  parcs   |  Owner:  
Type:  bug | Status:  new 
Priority:  normal  |  Component:  Compiler
 Version:  7.7 |   Keywords:  
  Os:  Unknown/Multiple|   Architecture:  Unknown/Multiple
 Failure:  Compile-time crash  |  Blockedby:  
Blocking:  |Related:  
---+

Comment(by simonpj@…):

 commit 1d07cc04ebcaa2df69824aeb1406557946e6dd19
 {{{
 Author: Simon Peyton Jones simo...@microsoft.com
 Date:   Mon Dec 24 09:46:55 2012 +

 Remember to zonk when taking free variables in simpl_top

 Forgetting this meant that we were upating the same
 meta-tyvar twice.  Fixes Trac #7525.

  compiler/typecheck/TcSMonad.lhs   |4 
  compiler/typecheck/TcSimplify.lhs |   24 
  2 files changed, 16 insertions(+), 12 deletions(-)
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7525#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] #7525: Compiler panic with ill-typed code using implicit parameters

2012-12-24 Thread GHC 
#7525: Compiler panic with ill-typed code using implicit parameters
-+--
Reporter:  parcs |   Owner: 
Type:  bug   |  Status:  merge  
Priority:  normal|   Milestone: 
   Component:  Compiler  | Version:  7.7
Keywords:|  Os:  Unknown/Multiple   
Architecture:  Unknown/Multiple  | Failure:  Compile-time crash 
  Difficulty:  Unknown   |Testcase:  typecheck/should_fail/T7525
   Blockedby:|Blocking: 
 Related:|  
-+--
Changes (by simonpj):

  * status:  new = merge
  * difficulty:  = Unknown
  * testcase:  = typecheck/should_fail/T7525


-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7525#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] #7525: Compiler panic with ill-typed code using implicit parameters

2012-12-23 Thread GHC 
#7525: Compiler panic with ill-typed code using implicit parameters
---+
Reporter:  parcs   |  Owner:  
Type:  bug | Status:  new 
Priority:  normal  |  Component:  Compiler
 Version:  7.7 |   Keywords:  
  Os:  Unknown/Multiple|   Architecture:  Unknown/Multiple
 Failure:  Compile-time crash  |  Blockedby:  
Blocking:  |Related:  
---+

Comment(by parcs):

 On second thought, this is probably an easier snippet to debug (I can't
 edit the description of the ticket for some reason):

 {{{
 {-# LANGUAGE ImplicitParams #-}
 module Bug where

 hmm :: ()
 hmm = let ?a = True in ?a
 }}}

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