GHC | 1 Sep 2011 01:09
Favicon

#5448: GHC stuck in infinite loop compiling with optimizations

#5448: GHC stuck in infinite loop compiling with optimizations
-------------------------------+--------------------------------------------
    Reporter:  ronwalf         |       Owner:                    
        Type:  bug             |      Status:  new               
    Priority:  normal          |   Component:  Compiler          
     Version:  7.0.3           |    Keywords:                    
    Testcase:                  |   Blockedby:                    
          Os:  MacOS X         |    Blocking:                    
Architecture:  x86_64 (amd64)  |     Failure:  Compile-time crash
-------------------------------+--------------------------------------------
 GHC gets stuck compiling the attached program.
 Removing 'deriving Eq' from the last line restores GHC's ability to
 terminate.

 Is this the same as the
 [http://haskell.org/ghc/docs/6.12.2/html/users_guide/bugs.html inliner
 loop bug]?  Who knows.

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5448>
GHC | 1 Sep 2011 03:33
Favicon

#5449: Build failure with ghc 7.2.1: Missing (or bad) header file: runProcess.h

#5449: Build failure with ghc 7.2.1: Missing (or bad) header file: runProcess.h
---------------------------------+------------------------------------------
    Reporter:  dsf               |       Owner:                   
        Type:  bug               |      Status:  new              
    Priority:  normal            |   Component:  libraries/process
     Version:  7.2.1             |    Keywords:                   
    Testcase:                    |   Blockedby:                   
          Os:  Unknown/Multiple  |    Blocking:                   
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown     
---------------------------------+------------------------------------------
 Hackage page shows a build failure for the process package.

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5449>
GHC | 1 Sep 2011 10:34
Favicon

Re: #5439: Crash in TcEnv.lhs line 461

#5439: Crash in TcEnv.lhs line 461
-----------------------------------+----------------------------------------
    Reporter:  mikhail.vorozhtsov  |       Owner:                    
        Type:  bug                 |      Status:  new               
    Priority:  normal              |   Component:  Compiler          
     Version:  7.3                 |    Keywords:                    
    Testcase:                      |   Blockedby:                    
          Os:  Unknown/Multiple    |    Blocking:                    
Architecture:  Unknown/Multiple    |     Failure:  Compile-time crash
-----------------------------------+----------------------------------------

Comment(by simonpj <at> …):

 commit eb46e0de6eab60483f38ed2088d9de13d8e74e2f
 {{{
 Author: Simon Peyton Jones <simonpj <at> microsoft.com>
 Date:   Thu Sep 1 08:28:36 2011 +0100

     Fix the trimming of bind_fvs (fixes Trac #5439)

     For the bind_fvs field of FunBind/PatBind, we need to be careful to
     keep track of uses of all functions in this module (although not
     imported ones).  Moreover in TcBinds.decideGeneralisationPlan we
     need to take note of uses of lexically scoped type variables.

     These two buglets led to a (useful) assertion failure in TcEnv.

  compiler/hsSyn/HsBinds.lhs       |   52 ++++++++++++++++++++++++----
  compiler/rename/RnBinds.lhs      |   70
 +++++++++++++++++---------------------
(Continue reading)

GHC | 1 Sep 2011 10:35
Favicon

Re: #5439: Crash in TcEnv.lhs line 461

#5439: Crash in TcEnv.lhs line 461
---------------------------------+------------------------------------------
  Reporter:  mikhail.vorozhtsov  |          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:  Compile-time crash  |  
---------------------------------+------------------------------------------
Changes (by simonpj):

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

Comment:

 Fixed!

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5439#comment:3>
GHC | 1 Sep 2011 10:39
Favicon

Re: #5440: Unexpected SafeLang13 failure

#5440: Unexpected SafeLang13 failure
----------------------------------+-----------------------------------------
    Reporter:  daniel.is.fischer  |        Owner:                             
        Type:  bug                |       Status:  new                        
    Priority:  normal             |    Milestone:                             
   Component:  Compiler           |      Version:  7.3                        
    Keywords:                     |     Testcase:                             
   Blockedby:                     |   Difficulty:                             
          Os:  Linux              |     Blocking:                             
Architecture:  x86                |      Failure:  Incorrect result at runtime
----------------------------------+-----------------------------------------
Changes (by simonmar):

 * cc: davidterei <at> … (added)

Comment:

 I've seen this too, probably a race condition in the test (validate uses 2
 threads by default).  David, could you take a look?

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5440#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs <at> haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
(Continue reading)

GHC | 1 Sep 2011 10:40
Favicon

Re: #5406: Template Haskell: Reification of type family instances

#5406: Template Haskell: Reification of type family instances
-------------------------------+--------------------------------------------
  Reporter:  reinerp           |          Owner:                  
      Type:  feature request   |         Status:  closed          
  Priority:  normal            |      Milestone:                  
 Component:  Template Haskell  |        Version:  7.0.4           
Resolution:  fixed             |       Keywords:                  
  Testcase:                    |      Blockedby:                  
Difficulty:                    |             Os:  Unknown/Multiple
  Blocking:                    |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown      |  
-------------------------------+--------------------------------------------
Changes (by simonpj):

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

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5406#comment:8>
GHC | 1 Sep 2011 12:33
Favicon

Re: #4988: Hang in GHCi debugger

#4988: Hang in GHCi debugger
---------------------------------+------------------------------------------
    Reporter:  simonmar          |        Owner:  simonmar  
        Type:  bug               |       Status:  new       
    Priority:  high              |    Milestone:  7.4.1     
   Component:  GHCi              |      Version:  7.0.1     
    Keywords:                    |     Testcase:  break024  
   Blockedby:                    |   Difficulty:            
          Os:  Unknown/Multiple  |     Blocking:            
Architecture:  Unknown/Multiple  |      Failure:  GHCi crash
---------------------------------+------------------------------------------

Comment(by marlowsd <at> …):

 commit fa71e6c795489ec267e0d048395c2c52bea6a164
 {{{
 Author: Simon Marlow <marlowsd <at> gmail.com>
 Date:   Wed Aug 31 22:45:01 2011 +0100

     Fix #4988: we were wrongly running exception handlers in the
     maskUninterruptible state instead of ordinary mask, due to a
     misinterpretation of the way the TSO_INTERRUPTIBLE flag works.

     Remarkably this must have been broken for quite some time.  Indeed we
     even had a test that demonstrated the wrong behaviour (conc015a) but
     presumably I didn't look hard enough at the output to notice that it
     was wrong.

  rts/Exception.cmm |   16 +++++++++-------
  1 files changed, 9 insertions(+), 7 deletions(-)
(Continue reading)

GHC | 1 Sep 2011 12:35
Favicon

Re: #4988: Hang in GHCi debugger

#4988: Hang in GHCi debugger
-------------------------+--------------------------------------------------
  Reporter:  simonmar    |          Owner:  simonmar        
      Type:  bug         |         Status:  closed          
  Priority:  high        |      Milestone:  7.4.1           
 Component:  GHCi        |        Version:  7.0.1           
Resolution:  fixed       |       Keywords:                  
  Testcase:  break024    |      Blockedby:                  
Difficulty:              |             Os:  Unknown/Multiple
  Blocking:              |   Architecture:  Unknown/Multiple
   Failure:  GHCi crash  |  
-------------------------+--------------------------------------------------
Changes (by simonmar):

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

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4988#comment:4>
GHC | 1 Sep 2011 14:02
Favicon

Re: #4429: Ability to specify the namespace in mkName

#4429: Ability to specify the namespace in mkName
---------------------------------+------------------------------------------
    Reporter:  reinerp           |        Owner:              
        Type:  feature request   |       Status:  infoneeded  
    Priority:  normal            |    Milestone:  7.4.1       
   Component:  Template Haskell  |      Version:  6.12.3      
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------
Changes (by simonpj):

  * status:  patch => infoneeded

Comment:

 Replying to [comment:14 reinerp]:

 > This currently prints {{{["global","local","local","local"]}}}. Should
 the first two really give different results?

 Well, yes, that's the current deal.  '''All''' reify operations consult
 the environment at the point of the enclosing ''top-level'' splice.  For a
 more extreme example, consider
 {{{
 module M where
   funny :: Q Exp
   funny = do { Just n <- lookupValueName "f"; varE n }
   f :: Int
(Continue reading)

GHC | 1 Sep 2011 14:02
Favicon

Re: #4429: Ability to specify the namespace in mkName

#4429: Ability to specify the namespace in mkName
---------------------------------+------------------------------------------
    Reporter:  reinerp           |        Owner:              
        Type:  feature request   |       Status:  infoneeded  
    Priority:  normal            |    Milestone:  7.4.1       
   Component:  Template Haskell  |      Version:  6.12.3      
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------

Comment(by simonpj):

 PS I pushed the testsuite patch, thank you!

--

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4429#comment:17>

Gmane