Re: [GHC] #5757: zero unexpected failures on all tier 1 platforms

2013-01-06 Thread GHC
#5757: zero unexpected failures on all tier 1 platforms
-+--
Reporter:  simonmar  |   Owner:  
Type:  task  |  Status:  new 
Priority:  highest   |   Milestone:  7.6.2   
   Component:  Test Suite| Version:  7.2.1   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:  #5785 |  
-+--

Comment(by nomeata):

 I ran the testsuite of 7.6.2-rc1 on amd64 and found these issues:

 {{{
 OVERALL SUMMARY for test run started at Sun Jan  6 10:53:49 UTC 2013
 3142 total tests, which gave rise to
12420 test cases, of which
   10 caused framework failures
 9558 were skipped

 2798 expected passes
   13 had missing libraries
   34 expected failures
0 unexpected passes
   17 unexpected failures

 Unexpected failures:
codeGen/should_runcgrun025 [exit code non-0] (normal)
deriving/should_run   T3087 [exit code non-0] (normal)
ghci/scripts  ghci014 [bad stderr] (ghci)
perf/compiler T1969 [stat too good] (normal)
perf/compiler T6048 [stat not good enough] (optasm)
safeHaskell/check/pkg01   ImpSafeOnly01 [exit code non-0] (normal)
safeHaskell/check/pkg01   ImpSafeOnly02 [exit code non-0] (normal)
safeHaskell/check/pkg01   ImpSafeOnly03 [stderr mismatch] (normal)
safeHaskell/check/pkg01   ImpSafeOnly04 [exit code non-0] (normal)
safeHaskell/check/pkg01   ImpSafeOnly05 [stderr mismatch] (normal)
safeHaskell/check/pkg01   ImpSafeOnly06 [exit code non-0] (normal)
safeHaskell/check/pkg01   ImpSafeOnly07 [stderr mismatch] (normal)
safeHaskell/check/pkg01   ImpSafeOnly08 [stderr mismatch] (normal)
safeHaskell/check/pkg01   ImpSafeOnly09 [stderr mismatch] (normal)
safeHaskell/check/pkg01   ImpSafeOnly10 [exit code non-0] (normal)
safeHaskell/check/pkg01   safePkg01 [bad exit code] (normal)
typecheck/should_compile  tc191 [exit code non-0] (normal)
 }}}

 I’m attaching the full build log. Maybe zero failures will happen for
 7.6.2?

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5757#comment:18
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] #7553: ghc fails to terminate with -O2 or greater

2013-01-06 Thread GHC
#7553: ghc fails to terminate with -O2 or greater
-+--
Reporter:  erikd |   Owner:
Type:  bug   |  Status:  infoneeded
Priority:  normal|   Milestone:
   Component:  Compiler  | Version:  7.6.1 
Keywords:|  Os:  Unknown/Multiple  
Architecture:  Unknown/Multiple  | Failure:  Compile-time crash
  Difficulty:  Unknown   |Testcase:
   Blockedby:|Blocking:
 Related:|  
-+--
Changes (by igloo):

  * status:  new = infoneeded
  * difficulty:  = Unknown


Comment:

 Can you give us a way to reproduce this please?

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


[GHC] #7554: Define __SSE__ when compiling with -msse

2013-01-06 Thread GHC
#7554: Define __SSE__ when compiling with -msse
-+--
Reporter:  tibbe |  Owner:  
Type:  feature request   | Status:  new 
Priority:  normal|  Component:  Compiler
 Version:  7.6.1 |   Keywords:  
  Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown  |  Blockedby:  
Blocking:|Related:  
-+--
 The hashable package needs to know if GHC was invoked with -msse4.1 so it
 can call out to faster C code in that case. I'd like to propose that GHC
 provides the following defines when running the preprocessor:

 {{{
 ## If SSE is turned on at all:
 #define __SSE__ 1

 ## Only with -msse2 and up:
 #define __SSE2__ 1

 ## Only with -msse4.1 and up:
 #define __SSE4_1__ 1
 }}}

 This behavior is consistent with GCC.

 Note that on some platforms SSE2 might be enabled by default and so should
 the defines.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7554
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] #7553: ghc fails to terminate with -O2 or greater

2013-01-06 Thread GHC
#7553: ghc fails to terminate with -O2 or greater
-+--
Reporter:  erikd |   Owner:
Type:  bug   |  Status:  new   
Priority:  normal|   Milestone:
   Component:  Compiler  | Version:  7.6.1 
Keywords:|  Os:  Unknown/Multiple  
Architecture:  Unknown/Multiple  | Failure:  Compile-time crash
  Difficulty:  Unknown   |Testcase:
   Blockedby:|Blocking:
 Related:|  
-+--
Changes (by erikd):

  * status:  infoneeded = new


Comment:

 I've attached a minimal cabal-ized project which triggers the hang. This
 hangs from me on x86-64-linux with both ghc-7.4.2 and 7.6.1.

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


[GHC] #7555: SpecConstr pass hangs

2013-01-06 Thread GHC
#7555: SpecConstr pass hangs
--+-
Reporter:  daniel.is.fischer  |  Owner:  
Type:  bug| Status:  new 
Priority:  normal |  Component:  Compiler
 Version:  7.6.1  |   Keywords:  
  Os:  Unknown/Multiple   |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown   |  Blockedby:  
Blocking: |Related:  
--+-
 From [http://stackoverflow.com/questions/14187413/small-code-snippet-
 causes-ghc-to-not-terminate Stack Overflow]:

 The code

 {{{
 {-# LANGUAGE BangPatterns #-}
 {-# OPTIONS_GHC -O2 #-}

 import qualified Data.Vector.Unboxed.Mutable as MV
 import Data.Vector.Unboxed ((!))
 import qualified Data.Vector.Unboxed as V
 import Control.Monad (forM_)

 similar :: V.Vector Char - Int
 similar v = l + sum (map (similar' 1 1) checks)
   where
 (l,checks) = let h = V.head v in V.foldl'
 (\(i,is) c - if c == h then (i+1,i:is) else (i+1,is)) (1,[])
 (V.tail v)
 similar' !r !n !i = if i  l-1  v!(n) == v!(i+1) then similar' (r+1)
 (n+1) (i+1)
 else r

 main :: IO ()
 main = do
 n - getLine
 v - MV.replicate (read n) 0
 forM_ [1..read n] $ \n' - do
   v' - getLine
   MV.unsafeWrite v (n'-1) (similar . V.fromList $ v')
 V.unsafeFreeze v = V.mapM_ print
 }}}

 causes GHC to hang in the !SpecConstr pass.

 Versions 7.0.* compiled it just fine, 7.2.* to 7.6.1 hang.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7555
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] #3333: GHCi doesn't load weak symbols

2013-01-06 Thread GHC
#: GHCi doesn't load weak symbols
--+-
Reporter:  heatsink   |   Owner:  hgolden 
Type:  bug|  Status:  patch   
Priority:  normal |   Milestone:  7.6.2   
   Component:  GHCi   | Version:  6.10.4  
Keywords:  weak, dynamic loading  |  Os:  Linux   
Architecture:  x86| Failure:  None/Unknown
  Difficulty:  Unknown|Testcase:  
   Blockedby: |Blocking:  
 Related: |  
--+-
Changes (by akio):

  * status:  new = patch


Comment:

 I implemented a support for ELF weak symbols on Linux. The implementation
 follows hgolden's design above, except that it doesn't support undefined
 weak symbols. The change is implemented in 3 patches: the first one
 simplifies the code, the second one implements the support, and the third
 one adds a special symbol !__dso_handle. This is not directly related to
 weak symbols, but is required to load C++ object files.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/#comment:20
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] #7553: ghc fails to terminate with -O2 or greater

2013-01-06 Thread GHC
#7553: ghc fails to terminate with -O2 or greater
-+--
Reporter:  erikd |   Owner:
Type:  bug   |  Status:  new   
Priority:  normal|   Milestone:
   Component:  Compiler  | Version:  7.6.1 
Keywords:|  Os:  Unknown/Multiple  
Architecture:  Unknown/Multiple  | Failure:  Compile-time crash
  Difficulty:  Unknown   |Testcase:
   Blockedby:|Blocking:
 Related:|  
-+--

Comment(by igloo):

 Thanks. Possibly a duplicate of #7555.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7553#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] #7555: SpecConstr pass hangs

2013-01-06 Thread GHC
#7555: SpecConstr pass hangs
--+-
Reporter:  daniel.is.fischer  |   Owner:  
Type:  bug|  Status:  new 
Priority:  normal |   Milestone:  
   Component:  Compiler   | Version:  7.6.1   
Keywords: |  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple   | Failure:  None/Unknown
  Difficulty:  Unknown|Testcase:  
   Blockedby: |Blocking:  
 Related: |  
--+-
Changes (by igloo):

  * difficulty:  = Unknown


Comment:

 Thanks for the report. Possibly a duplicate of #7553.

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


Re: [GHC] #7555: SpecConstr pass hangs

2013-01-06 Thread GHC
#7555: SpecConstr pass hangs
+---
  Reporter:  daniel.is.fischer  |  Owner:  
  Type:  bug| Status:  closed  
  Priority:  normal |  Milestone:  
 Component:  Compiler   |Version:  7.6.1   
Resolution:  duplicate  |   Keywords:  
Os:  Unknown/Multiple   |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown   | Difficulty:  Unknown 
  Testcase: |  Blockedby:  
  Blocking: |Related:  
+---
Changes (by daniel.is.fischer):

  * status:  new = closed
  * resolution:  = duplicate


Comment:

 Closing as duplicate of #7553 which also hangs in the `SpecConstr` pass.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7555#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] #5075: CPR optimisation for sum types if only one constructor is used

2013-01-06 Thread GHC
#5075: CPR optimisation for sum types if only one constructor is used
-+--
Reporter:  batterseapower|   Owner:  simonpj 
Type:  feature request   |  Status:  patch   
Priority:  normal|   Milestone:  7.6.2   
   Component:  Compiler  | Version:  7.0.3   
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by akio):

 * cc: tkn.akio@… (added)


-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5075#comment:7
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] #7553: ghc fails to terminate with -O2 or greater

2013-01-06 Thread GHC
#7553: ghc fails to terminate with -O2 or greater
-+--
Reporter:  erikd |   Owner:
Type:  bug   |  Status:  new   
Priority:  normal|   Milestone:
   Component:  Compiler  | Version:  7.6.1 
Keywords:|  Os:  Unknown/Multiple  
Architecture:  Unknown/Multiple  | Failure:  Compile-time crash
  Difficulty:  Unknown   |Testcase:
   Blockedby:|Blocking:
 Related:|  
-+--

Comment(by monoidal):

 Here's a small version of the code from the bug #7555.

 {{{
 {-# OPTIONS_GHC -O2 #-}

 import qualified Data.Vector.Unboxed as V

 main :: IO ()
 main = print $ V.foldl' (\is _ - 0:is) [] (V.fromList )
 }}}

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7553#comment:6
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] #1409: Allow recursively dependent modules transparently (without .hs-boot or anything)

2013-01-06 Thread GHC
#1409: Allow recursively dependent modules transparently (without .hs-boot or
anything)
-+--
Reporter:  Isaac Dupree  |   Owner:  
Type:  feature request   |  Status:  new 
Priority:  normal|   Milestone:  _|_ 
   Component:  Compiler  | Version:  6.10.2  
Keywords:|  Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  | Failure:  None/Unknown
  Difficulty:  Unknown   |Testcase:  
   Blockedby:|Blocking:  
 Related:|  
-+--
Changes (by altaic):

 * cc: william.knop.nospam@… (added)


-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1409#comment:63
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] #3333: GHCi doesn't load weak symbols

2013-01-06 Thread GHC
#: GHCi doesn't load weak symbols
--+-
Reporter:  heatsink   |   Owner:  akio
Type:  bug|  Status:  patch   
Priority:  normal |   Milestone:  7.6.2   
   Component:  GHCi   | Version:  6.10.4  
Keywords:  weak, dynamic loading  |  Os:  Linux   
Architecture:  x86| Failure:  None/Unknown
  Difficulty:  Unknown|Testcase:  
   Blockedby: |Blocking:  
 Related: |  
--+-
Changes (by hgolden):

  * owner:  hgolden = akio


Comment:

 Replying to [comment:20 akio]:
  I implemented a support for ELF weak symbols on Linux. The
 implementation follows hgolden's design above, except that it doesn't
 support undefined weak symbols. The change is implemented in 3 patches:
 the first one simplifies the code, the second one implements the support,
 and the third one adds a special symbol !__dso_handle. This is not
 directly related to weak symbols, but is required to load C++ object
 files.
 akio, it's great that you have done this, since I let it lie fallow. I
 have reassigned the ownership to you. You should also generate a test for
 your patch so it can be merged into the HEAD branch.

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