- ghc-tickets - Haskell.org

Re: [GHC] #5620: Dynamic linking and threading does not work on Windows
by GHC 16 Feb '13

16 Feb '13

#5620: Dynamic linking and threading does not work on Windows -------------------------------+-------------------------------------------- Reporter: Lennart | Owner: igloo Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Runtime System | Version: 7.2.1 Keywords: | Os: Windows Architecture: x86 | Failure: Runtime crash Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | -------------------------------+-------------------------------------------- Changes (by rassilon): * cc: bill@… (added) Comment: Could we somehow abuse the delay load DLL functionality with a custom delay load helper function? Or, we could do something similar to what MinGW (If I recall correctly) does in order to be able to process dynamically loaded data relocations That seems like a really large hammer though. :( -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5620#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7688: :kind should do kind generalisation
by GHC 15 Feb '13

15 Feb '13

#7688: :kind should do kind generalisation ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Suppose you load this into GHCi: {{{ {-# LANGUAGE PolyKinds #-} module Test where data Proxy (t::k) = Proxy }}} Now you use `:kind` to see the kind of `Proxy`: {{{ ghci> :k Proxy Proxy :: * -> * }}} It is true that `Proxy` has that kind but it has a more polymorphic kind, and that's the one we'd like to see. The trouble is this. `Proxy` really does have a polymorphic kind. However, `:kind` takes a '''type''' (not a type constructor) as its argument, so you can say {{{ :kind (Maybe Int) }}} for example. So as usual we instantiate `Proxy` with fresh kind variables -- '''BUT''' `:kind` does not do kind generalisation, so we get a monomorphic instance. (And we default unbound kind variables to `*`. Conclusion: `:kind` should do kind-generalisation. See also #7586 -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7688> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

Re: [GHC] #7511: Room for GHC runtime improvement >~5%, inlining related
by GHC 15 Feb '13

15 Feb '13

#7511: Room for GHC runtime improvement >~5%, inlining related ---------------------------------+------------------------------------------ Reporter: danielv | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Runtime performance bug Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by simonpj): * cc: simonpj@… (removed) * difficulty: => Unknown Comment: Right! I think this loss of let-no-escapey-ness is precisely what can cause increased allocation when we inline. Daniel and I found this (hence the birth of this ticket), and I believe that the LNE thing was the sole cause we identified. One might solve this by making the code generator yet more clever, so that it can avoid allocation for non-escaping functions, even they aren't tail calls. But that is quite hard. More promising, I think, is to float that `j` function to top level altogether, and that is what Nick is working on. I'm hopeful that this'll solve much of the problem. See also #5075 which reports a similar difficulty with LNEs becoming non- LNEs. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7511#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7511: Room for GHC runtime improvement >~5%, inlining related
by GHC 15 Feb '13

15 Feb '13

#7511: Room for GHC runtime improvement >~5%, inlining related ------------------------------------+--------------------------------------- Reporter: danielv | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.1 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Runtime performance bug | Blockedby: Blocking: | Related: ------------------------------------+--------------------------------------- Comment(by nfrisby): Just FYI, I've recently seen one example where more inlining caused an increase in allocation. Here's an abstraction: {{{ f a b = let-no-escape j = ... in ... j ... g x y = ... case f (...) (...) of ... }}} f got inlined and the j binding got floated out a bit. Thus j was no longer LNE, since the result of its call was scrutinized. This happened in puzzle; the StateType's == and /= methods were f and g, respectively. I had accidentally awarded a huge result discount to ==. Yell if you'd like more details. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7511#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2354: NOINLINE pragma ignored
by GHC 15 Feb '13

15 Feb '13

#2354: NOINLINE pragma ignored ------------------------------------------+--------------------------------- Reporter: guest | Owner: Type: bug | Status: closed Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.9 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: typecheck/should_fail/T2354 | Blockedby: Blocking: | Related: ------------------------------------------+--------------------------------- Changes (by simonpj): * testcase: => typecheck/should_fail/T2354 -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2354#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2354: NOINLINE pragma ignored
by GHC 15 Feb '13

15 Feb '13

#2354: NOINLINE pragma ignored -------------------------------+-------------------------------------------- Reporter: guest | Owner: Type: bug | Status: closed Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.9 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by simonpj): * status: patch => closed * resolution: => fixed Comment: I put it in `typecheck` in the end; `simplCore` doesn't have a `should_fail` group. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2354#comment:19> 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 15 Feb '13

15 Feb '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: | -------------------------------+-------------------------------------------- Changes (by simonmar): * owner: => igloo * difficulty: => Unknown * priority: normal => highest * milestone: => 7.6.3 Comment: Ian, I think this is your area. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7359#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7692: ghci -ignore-package base lets the impossible happen
by GHC 15 Feb '13

15 Feb '13

#7692: ghci -ignore-package base lets the impossible happen -----------------------------+---------------------------------------------- Reporter: nomeata | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Obviously I am doing something bad here, but still GHC tells me to report this as a bug... {{{ $ ghci -ignore-package base GHCi, version 7.6.2: http://www.haskell.org/ghc/ :? for help ghc: panic! (the 'impossible' happened) (GHC version 7.6.2 for x86_64-unknown-linux): interactiveUI:setBuffering2 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7692> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

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 14 Feb '13

14 Feb '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: Type: bug | Status: new Priority: normal | Component: libraries/unix Version: 7.4.1 | Keywords: unix package Os: MacOS X | Architecture: x86_64 (amd64) Failure: Other | Testcase: Blockedby: | Blocking: Related: | ----------------------------+----------------------------------------------- Comment(by andykitchen): bump, unix-2.6.0.1 also fails to build. This breaks a lot of things for Haskell platform users. {{{ $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.4.2 $ gcc-mp-4.7 -v Using built-in specs. COLLECT_GCC=gcc-mp-4.7 COLLECT_LTO_WRAPPER=/opt/local/libexec/gcc/x86_64-apple-darwin12/4.7.2 /lto-wrapper Target: x86_64-apple-darwin12 Configured with: ../gcc-4.7.2/configure --prefix=/opt/local --build=x86_64 -apple-darwin12 --enable-languages=c,c++,objc,obj-c++,lto,fortran,java --libdir=/opt/local/lib/gcc47 --includedir=/opt/local/include/gcc47 --infodir=/opt/local/share/info --mandir=/opt/local/share/man --datarootdir=/opt/local/share/gcc-4.7 --with-libiconv-prefix=/opt/local --with-local-prefix=/opt/local --with-system-zlib --disable-nls --program- suffix=-mp-4.7 --with-gxx-include-dir=/opt/local/include/gcc47/c++/ --with-gmp=/opt/local --with-mpfr=/opt/local --with-mpc=/opt/local --with- ppl=/opt/local --with-cloog=/opt/local --enable-cloog-backend=isl --disable-cloog-version-check --enable-stage1-checking --disable-multilib --enable-lto --enable-libstdcxx-time --with-as=/opt/local/bin/as --with- ld=/opt/local/bin/ld --with-ar=/opt/local/bin/ar --with- bugurl=https://trac.macports.org/newticket --disable-ppl-version-check --with-pkgversion='MacPorts gcc47 4.7.2_2' Thread model: posix gcc version 4.7.2 (MacPorts gcc47 4.7.2_2) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7359#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 14 Feb '13

14 Feb '13

#4012: Compilation results are not deterministic -------------------------------+-------------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Other | Difficulty: Difficult (2-5 days) Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by isaacdupree): * cc: id@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4012#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0