July 2013 - ghc-tickets

Re: [GHC] #5212: waitForProcess: does not exist (No child processes)
by GHC 13 Jul '13

13 Jul '13

#5212: waitForProcess: does not exist (No child processes) ------------------------------------------------+-------------------------- Reporter: chrisdone | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 7.4.2 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result at runtime | (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Changes (by lelf): * cc: me@… (added) * difficulty: => Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5212#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8033: add AVX register support to llvm calling convention
by GHC 13 Jul '13

13 Jul '13

#8033: add AVX register support to llvm calling convention -------------------------------------+------------------------------------ Reporter: carter | Owner: carter Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by lelf): * cc: anton.nik@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8033#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7738: Testsuite failures for ghci tests normalising stderr output for .exe
by GHC 13 Jul '13

13 Jul '13

#7738: Testsuite failures for ghci tests normalising stderr output for .exe ---------------------------------+------------------------------------ Reporter: rassilon | Owner: igloo Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Test Suite | Version: Resolution: worksforme | Keywords: Operating System: Windows | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ---------------------------------+------------------------------------ Changes (by igloo): * status: infoneeded => closed * resolution: => worksforme Comment: No response from submitter, so closing. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7738#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7056: GHCi loadArchive "libiconv.a":failed Unknown PEi386 section name `.drectve'
by GHC 13 Jul '13

13 Jul '13

#7056: GHCi loadArchive "libiconv.a":failed Unknown PEi386 section name `.drectve' ----------------------------+---------------------------------------------- Reporter: songpp | Owner: Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: GHCi | Version: 7.4.1 Resolution: | Keywords: loadArchive Unknown PEi386 Operating System: Windows | Architecture: x86 Type of failure: GHCi | Difficulty: Unknown crash | Blocked By: 3658 Test Case: | Related Tickets: #2487, #7103 Blocking: | ----------------------------+---------------------------------------------- Comment (by schyler): May be related. Building GHC with gcc 4.8.0 and ghc 7.6.3 on Windows 8 yields: {{{ Loading package integer-gmp ... ghc-stage2.exe: Unknown PEi386 section name `.dr ectve' (while processing: C:\MinGW\msys\1.0\home\Kyle\ghc\libraries \integer-gmp\ dist-install\build\libHSinteger-gmp-0.5.1.0.a) ghc-stage2.exe: panic! (the 'impossible' happened) (GHC version 7.7.20130711 for i386-unknown-mingw32): loadArchive "C:\\MinGW\\msys\\1.0\\home\\Kyle\\ghc\\libraries\\integer-g mp\\dist-install\\build\\libHSinteger-gmp-0.5.1.0.a": failed Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug make[1]: *** [libraries/vector/dist- install/build/Data/Vector/Fusion/Stream/Mona dic.o] Error 1 make: *** [all] Error 2 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7056#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2507: quotation characters in error messages
by GHC 12 Jul '13

12 Jul '13

#2507: quotation characters in error messages -------------------------------------+------------------------------------ Reporter: Isaac Dupree | Owner: Type: feature request | Status: closed Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #2811,#3398 -------------------------------------+------------------------------------ Comment (by refold): Replying to [comment:20 igloo]: > I suspect that you have `LC_CTYPE` or `LC_ALL` set to a different locale, and that is overriding `LANG`. Yes, that's the case. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2507#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7116: Missing optimisation: strength reduction of floating-point multiplication
by GHC 12 Jul '13

12 Jul '13

#7116: Missing optimisation: strength reduction of floating-point multiplication --------------------------------------------+------------------------------ Reporter: simonmar | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime performance bug | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Changes (by igloo): * owner: pcapriotti => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7116#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7116: Missing optimisation: strength reduction of floating-point multiplication
by GHC 12 Jul '13

12 Jul '13

#7116: Missing optimisation: strength reduction of floating-point multiplication --------------------------------------------+------------------------------ Reporter: simonmar | Owner: pcapriotti Type: bug | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime performance bug | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Changes (by igloo): * status: new => patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7116#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2507: quotation characters in error messages
by GHC 12 Jul '13

12 Jul '13

#2507: quotation characters in error messages -------------------------------------+------------------------------------ Reporter: Isaac Dupree | Owner: Type: feature request | Status: closed Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #2811,#3398 -------------------------------------+------------------------------------ Comment (by igloo): It works here: {{{ $ ghc -c q.hs q.hs:1:1: The IO action ‛main’ is not defined in module ‛Main’ $ LANG=C ghc -c q.hs q.hs:1:1: The IO action `main' is not defined in module `Main' }}} I suspect that you have `LC_CTYPE` or `LC_ALL` set to a different locale, and that is overriding `LANG`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2507#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8021: Multiple constraint classes - the alternative to superclass
by GHC 12 Jul '13

12 Jul '13

#8021: Multiple constraint classes - the alternative to superclass -------------------------------------+------------------------------------ Reporter: wvv | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by wvv): (I) We don't change the type system. (II) We have some problems with the type inference. Haskell have 2 solution if it has an ambiguity: 1) The error. You must add type signature Functions {{{ foo :: Monoid [a] -> [a] -> [a] -> [a] bar :: (Arrow a, ArrowPlus a, ArrowZero a) => Monoid a => a b c -> a b c -> a b c }}} 2) Default meanings. For example, use class in constraint with minimum dependences. (III) A lot of work for the type checker. Let we have 2 classes: {{{ class C1 => C a0 a1 .. an where data ... type ... f1 :: b1f1 -> b2f2 -> .. -> bn'f1 f2 :: b1f2 -> b2f2 -> .. -> bn''f2 .. fu :: b1fu -> b2fu -> .. -> bn'''fu class C2 => C d0 d1 .. dm where data ... type ... g1 :: b1g1 -> b2g2 -> .. -> bm'g1 g2 :: b1g2 -> b2g2 -> .. -> bm''g2 .. gu' :: b1gu' -> b2gu' -> .. -> bm'''gu' }}} Lows: 1) C1 =/= C2 -- constraint must be different 2) n == m -- number of parameters must be the same 3) u == u' -- number of functions must be the same 4) forall i . s(fi) == s(gi) -- names of functions must be the same 5) forall i. n'{i} == m'{i} -- number of arguments for each functions must be the same 6) forall i j. (bifj :: *) & (bigj :: *) | (bifj :: k) & (bigj :: k) -- corresponding arguments must have the same kind That's all! - forall i. ai :: kia , di :: kid, kia =?= kib - class parameters could have different kinds - datas and types of C1=>C and C2=>C could be different (by number, kind and name) Uses in signature: {{{ foo :: C1 => C a => ... bar :: C2 => C b => ... baz :: C d => .... <<=|=>> baz :: () => C d => ... }}} We use classes like instances of meta-classes -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8021#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8039: RTS linker: unloadObj() does not actually unload the code
by GHC 12 Jul '13

12 Jul '13

#8039: RTS linker: unloadObj() does not actually unload the code -------------------------------------+------------------------------------ Reporter: simonmar | Owner: simonmar Type: task | Status: new Priority: high | Milestone: 7.8.1 Component: Runtime System | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by igloo): For platforms that don't support either the GHCi linker or dynlibs currently, then I think it would be easier and more useful to add dynlib support. There may be one or two (I'd guess that Arm Linux and PPC Linux are the only likely candidates) that currently support the GHCi linker and not dynlibs, but I think that it would be better for people who care about such platforms to add dynlib support rather than continuing to maintain the GHCi linker. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8039#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0