June 2013 - ghc-tickets

Re: [GHC] #7953: Segfault on x86 with -O2
by GHC 19 Jun '13

19 Jun '13

#7953: Segfault on x86 with -O2 -------------------------+-------------------------------------------------- Reporter: igloo | Owner: simonmar Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Keywords: | Os: Unknown/Multiple Architecture: x86 | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | -------------------------+-------------------------------------------------- Changes (by simonmar): * owner: => simonmar Comment: It's bound to be a native codegen bug. I'll put it on my queue. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7953#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2387: Optimizer misses unboxing opportunity
by GHC 19 Jun '13

19 Jun '13

#2387: Optimizer misses unboxing opportunity ------------------------------------+--------------------------------------- Reporter: dolio | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.2 Keywords: optimizer unbox box | Os: Linux Architecture: x86_64 (amd64) | Failure: Runtime performance bug Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #2289 | ------------------------------------+--------------------------------------- Changes (by jstolarek): * cc: jan.stolarek@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2387#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2289: Needless reboxing of values when returning from a tight loop
by GHC 19 Jun '13

19 Jun '13

#2289: Needless reboxing of values when returning from a tight loop -------------------------------------------+-------------------------------- Reporter: dons | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.2 Keywords: boxing, loops, performance | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Runtime performance bug Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #2387,#1600 | -------------------------------------------+-------------------------------- Changes (by jstolarek): * cc: jan.stolarek@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2289#comment:33> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7885: LLVM build broken
by GHC 19 Jun '13

19 Jun '13

#7885: LLVM build broken --------------------------------+------------------------------------------- Reporter: gmainland | Owner: Type: bug | Status: new Priority: normal | Component: Compiler (LLVM) Version: 7.7 | Keywords: Os: Linux | Architecture: x86_64 (amd64) Failure: Building GHC failed | Blockedby: Blocking: | Related: --------------------------------+------------------------------------------- The LLVM build has been broken for a number of weeks. Unfortunately this happened before I started running nightly LLVM builds. Here is the error I see (taken from the nightly build log): {{{ inplace/bin/dll-split compiler/stage2/build/.depend-v-dyn-p-dyn.haskell "DynFlags" "Annotations Avail Bag BasicTypes Binary Bitmap BlockId BreakArray BufWrite ByteCodeAsm ByteCodeInstr ByteCodeItbls ByteCodeLink CLabel Class CmdLineParser Cmm CmmCallConv CmmExpr CmmInfo CmmMachOp CmmNode CmmType CmmUtils CoAxiom CodeGen.Platform CodeGen.Platform.ARM CodeGen.Platform.NoRegs CodeGen.Platform.PPC CodeGen.Platform.PPC_Darwin CodeGen.Platform.SPARC CodeGen.Platform.X86 CodeGen.Platform.X86_64 Coercion Config Constants CoreArity CoreFVs CoreSubst CoreSyn CoreTidy CoreUnfold CoreUtils CostCentre DataCon Demand Digraph DriverPhases DynFlags Encoding ErrUtils Exception FamInstEnv FastBool FastFunctions FastMutInt FastString FastTypes Fingerprint FiniteMap ForeignCall Hoopl Hoopl.Dataflow HsBinds HsDecls HsDoc HsExpr HsImpExp HsLit HsPat HsSyn HsTypes HsUtils HscTypes Id IdInfo IfaceSyn IfaceType InstEnv InteractiveEvalTypes Kind ListSetOps Literal Maybes MkCore MkGraph MkId Module MonadUtils Name NameEnv NameSet ObjLink OccName OccurAnal OptCoercion OrdList Outputable PackageConfig Packages Pair Panic Platform PlatformConstants PprCmm PprCmmDecl PprCmmExpr PprCore PrelNames PrelRules Pretty PrimOp RdrName Reg RegClass Rules SMRep Serialized SrcLoc StaticFlags StgCmmArgRep StgCmmClosure StgCmmEnv StgCmmLayout StgCmmMonad StgCmmProf StgCmmTicky StgCmmUtils StgSyn Stream StringBuffer TcEvidence TcType TyCon Type TypeRep TysPrim TysWiredIn Unify UniqFM UniqSet UniqSupply Unique Util Var VarEnv VarSet" dll-split: internal error: scavenge_one: strange object -385875968 (GHC version 7.7.20130502 for x86_64_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Aborted (core dumped) make[1]: *** [compiler/stage2/dll-split.stamp] Error 134 make: *** [all] Error 2 Command exited with non-zero status 2 4506.92user 192.03system 1:19:51elapsed 98%CPU (0avgtext+0avgdata 4147968maxresident)k 1400inputs+13715568outputs (3major+33440223minor)pagefaults 0swaps }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7885> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

2 16

Re: [GHC] #1498: Optimisation: eliminate unnecessary heap check in recursive function
by GHC 19 Jun '13

19 Jun '13

#1498: Optimisation: eliminate unnecessary heap check in recursive function -------------------------------------------+-------------------------------- Reporter: simonmar | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 6.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Runtime performance bug Difficulty: Moderate (less than a day) | Testcase: Blockedby: 4258 | Blocking: Related: | -------------------------------------------+-------------------------------- Changes (by jstolarek): * cc: jan.stolarek@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1498#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4836: literate markdown not handled correctly by unlit
by GHC 19 Jun '13

19 Jun '13

#4836: literate markdown not handled correctly by unlit ---------------------------------+------------------------------------------ Reporter: guest | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 7.0.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Difficulty: | Testcase: Blockedby: | Blocking: Related: #7120 | ---------------------------------+------------------------------------------ Changes (by elliottt): * cc: trevor@… (added) Comment: I've implemented markdown processing in a branch, and just discovered this ticket. Is there a reason that CPP is preserved in the comment part of a literate file? Shouldn't it be that CPP is only preserved when it shows up in either a birdtrack or \begin{code} ... \end{code} block? Preserving it in the comment portion of a literate program seems akin to processing CPP that is in the comments of a non-literate file; I would normally expect commented-out CPP to not be run. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4836#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7953: Segfault on x86 with -O2
by GHC 19 Jun '13

19 Jun '13

#7953: Segfault on x86 with -O2 -------------------------+-------------------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Keywords: | Os: Unknown/Multiple Architecture: x86 | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | -------------------------+-------------------------------------------------- Comment(by kazu-yamamoto): If we change {{{ atMost pt q = case q of (Winner e _) | prio e > pt -> ([], q) }}} to {{{ atMost pt q = case q of (Winner e _) | gt (prio e) pt -> ([], q) {-# NOINLINE gt #-} gt :: Prio -> Prio -> Bool gt = (>) }}} this segfault disappears. So, inlining (>) for Float/Double has a bug. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7953#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4385: Type-level natural numbers
by GHC 18 Jun '13

18 Jun '13

#4385: Type-level natural numbers ----------------------------------------+----------------------------------- Reporter: diatchki | Owner: diatchki Type: feature request | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by Artyom.Kazak): * cc: Artyom.Kazak@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4385#comment:61> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7359: unix-2.6.0.0 fails to install on mac os x with 7.4.* (works with 7.6.1)
by GHC 18 Jun '13

18 Jun '13

#7359: unix-2.6.0.0 fails to install on mac os x with 7.4.* (works with 7.6.1) -------------------------------+-------------------------------------------- Reporter: AndreasVoellmy | Owner: igloo Type: bug | Status: new Priority: highest | Milestone: 7.6.3 Component: libraries/unix | Version: 7.4.1 Keywords: unix package | Os: MacOS X Architecture: x86_64 (amd64) | Failure: Other Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | -------------------------------+-------------------------------------------- Comment(by AndreasVoellmy): It looks like the reason that my package tried to install unix-2.6.0.0 was that my cabal specified "bytestring >= 0.10.0.1" in build-depends field. I don't seem to really need that, so I can fix the problem by deleting that constraint. So this seems to be mainly user error, although fixing the dependency in the way that MtnViewMark's last comment suggests may have helped me find the problem earlier. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7359#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7558: Terrible error message when given and wanted are both insoluble
by GHC 18 Jun '13

18 Jun '13

#7558: Terrible error message when given and wanted are both insoluble ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by monoidal): This seems to be fixed in HEAD; can someone verify and possibly add a test? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7558#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0