[GHC] #1750: ghc-pkg stack overflow when mutually dependent packages installed

#1750: ghc-pkg stack overflow when mutually dependent packages installed
----------------------+-----------------------------------------------------
  Reporter:  greenrd  |          Owner:                
      Type:  bug      |         Status:  new           
  Priority:  normal   |      Milestone:                
 Component:  None     |        Version:  6.7           
  Severity:  normal   |       Keywords:                
Difficulty:  Unknown  |             Os:  Linux         
  Testcase:           |   Architecture:  x86_64 (amd64)
----------------------+-----------------------------------------------------
 I erroneously added mutual dependencies between two packages I was working
 on. When I installed them both, both Cabal and ghc-pkg started behaving
 strangely:

 - Setup.hs configure would run, but very slowly[[BR]]
 - Setup.hs build would stack overflow[[BR]]
 - ghc-pkg list would stack overflow[[BR]]

 I realised that there was a mutual dependency, and manually edited
 package.conf to unregister one of them. This fixed the problem.

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

[GHC] #1751: program with GADTs segfaults when compiled with -prof and -auto-all

#1751: program with GADTs segfaults when compiled with -prof and -auto-all
-----------------------+----------------------------------------------------
  Reporter:  guest     |          Owner:         
      Type:  bug       |         Status:  new    
  Priority:  normal    |      Milestone:         
 Component:  Compiler  |        Version:  6.6.1  
  Severity:  normal    |       Keywords:         
Difficulty:  Unknown   |             Os:  Unknown
  Testcase:            |   Architecture:  Unknown
-----------------------+----------------------------------------------------
 Consider the following modules Main.hs and M.hs:

 {{{
 module Main ( main )

 where

 import M

 main :: IO ()
 main = do let f = T [undefined, undefined]
           [a] <- c f (\t -> return [r (UR undefined) t])
           a
 }}}

 {{{
 {-# OPTIONS_GHC -fglasgow-exts -fno-warn-incomplete-patterns #-}
 module M ( R(..), U, r, T(..), c )

 where

Re: [GHC] #1751: program with GADTs segfaults when compiled with -prof and -auto-all

#1751: program with GADTs segfaults when compiled with -prof and -auto-all
-------------------------+--------------------------------------------------
    Reporter:  guest     |        Owner:         
        Type:  bug       |       Status:  new    
    Priority:  normal    |    Milestone:         
   Component:  Compiler  |      Version:  6.6.1  
    Severity:  normal    |   Resolution:         
    Keywords:            |   Difficulty:  Unknown
          Os:  Unknown   |     Testcase:         
Architecture:  Unknown   |  
-------------------------+--------------------------------------------------
Comment (by sorear):

 Thanks for the report.

 I can reproduce this with 6.6.1 and 6.7.20070223, but not with
 6.7.20070323 or any later version (fail with error: Prelude.undefined).

 I don't see any patches containing the word 'crash' or 'prof' in that
 span, though.

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

Re: [GHC] #1738: GADT3 test failure

#1738: GADT3 test failure
-------------------------+--------------------------------------------------
    Reporter:  simonmar  |        Owner:             
        Type:  bug       |       Status:  closed     
    Priority:  normal    |    Milestone:  6.10 branch
   Component:  Compiler  |      Version:  6.9        
    Severity:  normal    |   Resolution:  fixed      
    Keywords:            |   Difficulty:  Unknown    
          Os:  Unknown   |     Testcase:  GADT3      
Architecture:  Unknown   |  
-------------------------+--------------------------------------------------
Changes (by chak):

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

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

Re: [GHC] #1717: ghc-6.8 configure does not recognise 32bit userland on ppc64

#1717: ghc-6.8 configure does not recognise 32bit userland on ppc64
-------------------------------------+--------------------------------------
    Reporter:  kahl <at> cas.mcmaster.ca  |        Owner:              
        Type:  bug                   |       Status:  new         
    Priority:  normal                |    Milestone:  6.8.1       
   Component:  Build System          |      Version:  6.8         
    Severity:  normal                |   Resolution:              
    Keywords:                        |   Difficulty:  Unknown     
          Os:  Linux                 |     Testcase:  normal build
Architecture:  powerpc64             |  
-------------------------------------+--------------------------------------
Comment (by guest):

 While the GHC build system identifies this machine (running 32bit userland
 on ppc64 64-bit kernel) as powerpc64-unknown-linux-gnu,

 (in config.status:

 s, <at> build <at> ,|#_!!_#|powerpc64-unknown-linux-gnu,g

 in config.log:


 configure:1856: checking for GHC version date
 configure:1874: result: given 6.8.20070912
 configure:2007: checking build system type
 configure:2025: result: powerpc64-unknown-linux-gnu
 configure:2047: checking host system type
 configure:2062: result: powerpc64-unknown-linux-gnu
 configure:2084: checking target system type

bug in 6.8.1-candidate

Dear GHC developers,

this is again on the `panic' bug in  ghc-6.8.1-candidate.
The archive
    http://botik.ru/pub/local/Mechveliani/ghcBugs/bug2-6.8.0-sep28.zip

presents one more report on this bug. Unzip and see  install.txt.

The project is built, but the test program  Test.hs  cannot build,
ghc reports of `panic'.
Further, return to the project build: 
in the file  GBasFld.hs,  comment-out the type declaration for the 
function  b_criterion_ev,  and re-build the project. 
Now, it reports of `panic' when compiling  GBasFld.

Simply speaking, docon-2.11 works under ghc-6.6.1 and does not work
under  ghc-6.8.0-sep28.zip.

Regards,

-----------------
Serge Mechveliani
mechvel <at> botik.ru

[GHC] #1752: space leak caused by $ vs. () with -O2

#1752: space leak caused by $ vs. () with -O2
-----------------------+----------------------------------------------------
  Reporter:  guest     |          Owner:          
      Type:  bug       |         Status:  new     
  Priority:  normal    |      Milestone:          
 Component:  Compiler  |        Version:  6.6.1   
  Severity:  normal    |       Keywords:          
Difficulty:  Unknown   |             Os:  Windows 
  Testcase:            |   Architecture:  Multiple
-----------------------+----------------------------------------------------
 The following program exhibits a space leak on GHC6.6.1.  "noleak" doesn't
 exhibit the leak.  The only difference is choosing to use $ (leaky)
 instead of () (non-leaky).

 No leak happens if optimizations are off.

 Compiled with {{{c:\haskell> ghc -O2 --make fibsquares.hs}}}

 {{{
 module Main where

 fibs a b = a : fibs b (a+b)

 odds (x:xs) = evens xs
 evens (x:xs) = x : odds xs

 square x = x*x
 sumSucc xs = zipWith (+) xs (tail xs)

 main = spaceleak

[GHC] #1753: GHC's file locking mechanism not prepared for close() returning -1

#1753: GHC's file locking mechanism not prepared for close() returning -1
-----------------------------+----------------------------------------------
  Reporter:  guest           |          Owner:          
      Type:  bug             |         Status:  new     
  Priority:  normal          |      Milestone:          
 Component:  libraries/base  |        Version:  6.6.1   
  Severity:  normal          |       Keywords:          
Difficulty:  Easy (1 hr)     |             Os:  Multiple
  Testcase:                  |   Architecture:  Unknown 
-----------------------------+----------------------------------------------
 There is a bug in GHC file locking mechanism which manifests itself when
 close() returns -1. The reasons for the problem, as I see it, are:
  * asymmetry in the locking mechanism - creating the lock by device/inode,
 but
    releasing by fd
  * not handling exceptions properly in hClose
  * trying to do the job of the operating system and/or trying to correct
 the
   behavior of the operating system - but this one is a criticism of
 Haskell
   Report, not of GHC

 I will demonstrate the scenario on an example program:

 {{{
 main = do
     try $ do
         h <- openFile "A" AppendMode
         -- As part of opening A, GHC adds a lock to the writeLock table
         -- (libraries/base/cbits/lockFile.c).

[GHC] #1754: Border case type families/type equality coercions cause the impossible to happen

#1754: Border case type families/type equality coercions cause the impossible to
happen
-----------------------+----------------------------------------------------
  Reporter:  guest     |          Owner:                               
      Type:  bug       |         Status:  new                          
  Priority:  normal    |      Milestone:                               
 Component:  Compiler  |        Version:  6.8                          
  Severity:  minor     |       Keywords:  type family equality coercion
Difficulty:  Unknown   |             Os:  Linux                        
  Testcase:            |   Architecture:  Unknown                      
-----------------------+----------------------------------------------------
 A few border case problems with type equality coercions with type
 variables only occurring in the constraints part of the type. The code
 says it all.

 {{{
 {-# LANGUAGE TypeFamilies #-}
 module Weird where

 {- Compiles fine, but in GHCi:
 Prelude Weird> :t x
 *** Exception: No match in record selector Var.tcTyVarDetails
 -}
 x :: (a ~ b, Num b) => b
 x = undefined

 {- Same in GHCi, but when compiling:
 % /tmp/ghc-6.8/bin/ghc --make Weird.hs
 [1 of 1] Compiling Weird            ( Weird.hs, Weird.o )
 ghc-6.8.0.20071002: panic! (the 'impossible' happened)

Re: [GHC] #1754: Border case type families/type equality coercions cause the impossible to happen

#1754: Border case type families/type equality coercions cause the impossible to
happen
----------------------------------------------+-----------------------------
    Reporter:  guest                          |        Owner:         
        Type:  bug                            |       Status:  new    
    Priority:  normal                         |    Milestone:         
   Component:  Compiler                       |      Version:  6.8    
    Severity:  normal                         |   Resolution:         
    Keywords:  type family equality coercion  |   Difficulty:  Unknown
          Os:  Linux                          |     Testcase:         
Architecture:  Unknown                        |  
----------------------------------------------+-----------------------------
Changes (by guest):

 * cc: g9ks157k <at> acme.softbase.org (added)
  * severity:  minor => normal

Comment:

 There is a possibly similar problem with GHC 6.8.0.20070926 (i386-unknown-
 mingw32).  The code in the attachment {{{TypeEq.hs}}} causes the
 impossible to happen with the error message {{{initC: srt_lbl}}}.

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

_______________________________________________
Glasgow-haskell-bugs mailing list