October 2013 - ghc-tickets

[GHC] #8442: Cabal-install internal error with any use
by GHC 18 Nov '14

18 Nov '14

#8442: Cabal-install internal error with any use ----------------------------------+--------------------------------- Reporter: senk | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Package system | Version: 7.6.3 Keywords: | Operating System: FreeBSD Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------- Any attempt to use cabal-install fails with an internal error. Used FreeBSD (9.1) port hs-haskell-platform and built with hs-colour support, LLVM (3.2) backend, and profiling enabled. Warnings were given that the version of LLVM used was untested, but no issues were apparent when compiling. {{{ cabal install hakyll cabal-install: internal error: evacuate(static): strange closure type -385875968 (GHC version 7.6.3 for x86_64_portbld_freebsd) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Abort trap }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8442> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8465: ./configure fails on ghc-7.6.3: does not find installed libgmp.so.3 and current directory
by GHC 18 Nov '14

18 Nov '14

#8465: ./configure fails on ghc-7.6.3: does not find installed libgmp.so.3 and current directory ------------------------------------+------------------------------------- Reporter: ygramoel | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- I am trying to reproduce bug #8464 with the newest ghc; not available in my repositories, so I am trying to install it manually. With a freshly downloaded and unpacked ghc-7.6.3-x86_64-unknown- linux.tar.bz2, and after cleanly installing libgmp.3 (from source of gmp-4.3.1) johan@morla:~/work/ghc-7.6.3\> ./configure checking for path to top of build tree... utils/ghc-pwd/dist- install/build/tmp/ghc-pwd: error while loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory configure: error: cannot determine current directory johan@morla:~/work/ghc-7.6.3\> pwd -P /home/johan/work/ghc-7.6.3 johan@morla:~/work/ghc-7.6.3\> whereis libgmp libgmp: /usr/local/lib/libgmp.la /usr/local/lib/libgmp.a /usr/local/lib/libgmp.so johan@morla:~/work/ghc-7.6.3\> ls -l /usr/local/lib/libgmp* -rw-r--r-- 1 root root 1017334 Oct 20 20:56 /usr/local/lib/libgmp.a -rwxr-xr-x 1 root root 785 Oct 20 20:56 /usr/local/lib/libgmp.la lrwxrwxrwx 1 root root 15 Oct 20 20:56 /usr/local/lib/libgmp.so -> libgmp.so.3.5.0 lrwxrwxrwx 1 root root 15 Oct 20 20:56 /usr/local/lib/libgmp.so.3 -> libgmp.so.3.5.0 -rwxr-xr-x 1 root root 403890 Oct 20 20:56 /usr/local/lib/libgmp.so.3.5.0 johan@morla:~/work/ghc-7.6.3\> -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8465> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8477: Allow inferring ambiguous types
by GHC 18 Nov '14

18 Nov '14

#8477: Allow inferring ambiguous types ------------------------------------+------------------------------------- Reporter: aavogt | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: 8390 | ------------------------------------+------------------------------------- Previous versions of ghc could infer types that are potentially ambiguous. This allowed things like http://okmij.org/ftp/Haskell/TypeLambdaVal.hs or assigning keyword args functions to variables http://code.haskell.org/~aavogt/HList/docs/HList/Data-HList-Keyword.html. Presently (7.6 and 7.7), you need to write a type signature yourself to allow such definitions, which in these situations doubles the amount of code to write. For the keyword case, the workaround is to use the kw function to apply the keyword function instead of ordinary function application. More related discussion http://www.haskell.org/pipermail/glasgow-haskell- users/2013-October/024404.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8477> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #8490: OS X 10.9 gcc-4.8 unknown symbol `__objc_empty_table`
by GHC 18 Nov '14

18 Nov '14

#8490: OS X 10.9 gcc-4.8 unknown symbol `__objc_empty_table` ----------------------------------+--------------------------------------- Reporter: jloos | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: Compile-time crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------------- I'm not sure if and how far the ghc-7.6.3 support for OS X is planned, but I hit a (possible) linker error with 7.6.3. I installed a homebrew gcc-4.8 and changed the ghc config to use it. I tried to compile the [http://hackage.haskell.org/package/bindings-GLFW bindings-GLFW] package, which was successful, and run `cabal test` on it, which fails with following error: {{{ final link ... ghc: lookupSymbol failed in relocateSection (relocate external) dist/build/HSbindings-GLFW-3.0.3.o: unknown symbol `__objc_empty_vtable' linking extra libraries/objects failed }}} After some research I discovered that this symbol (surely just the first which fails) is part of the Objective-C Runtime. The /usr/lib/libobjc.dylib exports this symbol. In desperation I think I nearly reached the google quota with my research, further steps I tried: Explicitly link the libobjc lib {{{ ghci -lobjc dist/build/HSbindings-GLFW-3.0.3.o -framework Foundation -framework Cocoa -framework IOKit }}} With the same result as above: {{{ GHCi, version 7.6.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading object (static) dist/build/HSbindings-GLFW-3.0.3.o ... done Loading object (dynamic) /usr/lib/libobjc.dylib ... done Loading object (framework) IOKit ... done Loading object (framework) Cocoa ... done Loading object (framework) Foundation ... done final link ... ghc: lookupSymbol failed in relocateSection (relocate external) dist/build/HSbindings-GLFW-3.0.3.o: unknown symbol `__objc_empty_vtable' linking extra libraries/objects failed }}} I found a [https://github.com/mxcl/homebrew/issues/23687 homebrew issue] related to gcc and the Apple switch from libstdc++to libc++ in 10.9 and i tried to force linking with explicit `-stdlib=libstdc++` in the cabal file (ld-options). But i guess this issue isn't related to the `__objc_***` problem, just tried it in desperation. Last week I managed to build ghc HEAD with clang bootstrapped with 7.4.6: the new linker mechanic seems to resolves this problem in a way (sadly some other packages aren't jet compatible with 7.8) So I'm not sure if this report is okay, if not, pardon me :) I'm aware of the problems with the current ghc-7.6.3 and the the changes OS X 10.9 brings with it (according to reddit/haskell cafe). The current suggestions is to not use the XCode-5.0.1/clang together with ghc-7.6.3. So I tried gcc from homebrew. I know that 7.8 will bring better linker capabilities, maybe there are just some flags to fix this specific problem with 7.6.3...? I didn't find it. So I thought it's better to report it. If further informations are required, I will try to provide them as fast as possible but I will have to downgrade to 10.8 tomorrow around 6 a.m. UTC. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8490> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8427: GHC accepts invalid program because of EPS poisoning
by GHC 11 Nov '14

11 Nov '14

#8427: GHC accepts invalid program because of EPS poisoning -------------------------------------+------------------------------------- Reporter: errge | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: GHC accepts Difficulty: Moderate (less | invalid program than a day) | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- Assume the following setup: - compiling in batch mode (`--make`), - package klassz, module Class contains the class "Class a" and the data "Data", - package klassz, module A contains an (orphan) instance "Class Data", - package main, module AImporter just imports A, - package main, module B imports only Class, but uses the instance (invalidly); then - if package main, module Main imports B, later imports AImporter; then it compiles; - if package main, module Main imports AImporter, later imports B, then it doesn't compile. The attached tgz contains this setup. `diff -u main-docompile main- nocompile` shows that the only difference between the two main directories is the order of import statements. The language definitely doesn't accept compilation success to depend on import ordering, therefore this is a bug. My current understanding is that the issue is that this code should never compile, both mains should be rejected, since module B imports only the class, but not the instance. The issue is that the EPS is only ever increased, never decreased between compilation of different modules in a single batch compilation. This naïve approach causes the instances to be loaded and then never unloaded, so it can be magically found when compiling the invalid B module. The current code can be found in [[GhcFile(compiler/iface/LoadIface.hs)]] line 280. I propose to instead of always loading ifaces into the EPS directly, introduce a proper cache for interfaces, that contains parsed up interface data in a `ModuleEnv`. Then we can start up with an empty EPS at the beginning of the compilation of every unit and quickly merge info from this cache. I guess the majority of time is the file reading IO and the parsing, not the merging of multiple interface files together. I also think that these kind of issues will get more and more prominent as people start to use parallel cabal and ghc, because if compilation of the attached example program is randomly parallelized, then in some cases it will build, some cases it won't. Any opinions, alternative fix ideas? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8427> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8482: Permission denied when copying file to current directory with copyFile
by GHC 03 Nov '14

03 Nov '14

#8482: Permission denied when copying file to current directory with copyFile -------------------------------------+------------------------------------- Reporter: Henk-Jan | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.6.3 libraries/directory | Operating System: Windows Keywords: copyFile | Type of failure: Incorrect result permission denied | at runtime Architecture: x86 | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -------------------------------------+------------------------------------- While the MS-DOS command {{{ C:\tmp\b>copy c:\tmp\a\x }}} runs successfully, the Haskell equivalent {{{ copyFile "c:\\tmp\\a\\x" "" }}} results in {{{ copyFile.hs: .\.copyFile584.tmp: copyFile: does not exist (Het systeem kan het opgegeven pad niet vinden.) }}} The Dutch explanation says: "The system can not find the specified path" {{{ copyFile "c:\\tmp\\a\\x" "." }}} results in {{{ copyFile.hs: .\.copyFile3960.tmp: copyFile: permission denied (Toegang geweigerd.) }}} The Dutch explanation says: "Access denied" -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8482> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8261: Windows Testsuite stuck at configuring timeout
by GHC 03 Nov '14

03 Nov '14

#8261: Windows Testsuite stuck at configuring timeout ------------------------------+--------------------------------- Reporter: leroux | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 7.6.3 Keywords: | Operating System: Windows Architecture: x86 | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------+--------------------------------- When running the testsuite, it gets stuck at {{{Configuring timeout-1...}}}. I tried adding a verbosity flag to the ENV vars, but they didn't make any affect on the {{{./Setup}}} args. Relating to my development setup...I've followed the instructions from http://ghc.haskell.org/trac/ghc/wiki/Building/Preparation/Windows (using MinGW). I was rather surprised when I was building GHC, it threw an error saying that "libmpfr-3.dll" was missing, so I fetched that from a cygwin mirror and threw it in {{{msys/bin}}}, but even after doing that, I got errors saying that it could find certain cygwin libraries ({{{cyg*.dll}}}). So I just installed the entirety of cygwin and it started working fine. The only ticket I found that is related to this is #1599, but I'm not sure. ---- System details: {{{ # Windows 7 x86 (32-bit) $ uname -a MINGW32_NT-6.1 LEROUX-WINBUILD 1.0.18(0.48/3/2) 2012-11-21 22:34 i686 Msys $ echo $PATH /c/MinGW/bin:.:/usr/local/bin:/mingw/bin:/bin:/c/Program Files/Haskell/bin:/c/Program Files/Haskell Platform/2013.2.0.0/lib/extralibs/bin:/c/ Program Files/Haskell Platform/2013.2.0.0/bin:/c/Windows/system32:/c/Windows:/c/Windows/System32/Wbem:/c/Windows/System32/WindowsPowerShell/v 1.0/:/c/Program Files/Haskell Platform/2013.2.0.0/mingw/bin:/c/Program Files/Git/cmd:/c/Users/leroux/AppData/Roaming/cabal/bin:/mingw/bin:/us r/bin:/c/cygwin/bin }}} ---- Here's the testsuite run: {{{ $ make test WAY=normal make -C testsuite/tests CLEANUP=1 OUTPUT_SUMMARY=../../testsuite_summary.txt fast make[1]: Entering directory `/home/leroux/devel/ghc- validate/testsuite/tests' make fast=YES make[2]: Entering directory `/home/leroux/devel/ghc- validate/testsuite/tests' Looks like you don't have timeout, building it first... make -C ../timeout all make[3]: Entering directory `/home/leroux/devel/ghc- validate/testsuite/timeout' rm -rf install-inplace 'C:/MinGW/msys/1.0/home/leroux/devel/ghc-validate/inplace/bin/ghc- stage2.exe' --make Setup ./Setup configure --with-compiler='C:/MinGW/msys/1.0/home/leroux/devel /ghc-validate/inplace/bin/ghc-stage2.exe' \ --with-hc- pkg='C:/MinGW/msys/1.0/home/leroux/devel/ghc-validate/inplace/bin/ghc- pkg.exe' \ --with- hsc2hs='C:/MinGW/msys/1.0/home/leroux/devel/ghc- validate/inplace/bin/hsc2hs.exe' \ \ --ghc-option=-threaded --prefix='C:/MinGW/msys/1.0/home/leroux/devel/ghc- validate/testsuite/timeout/install-inplace ' Configuring timeout-1... }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8261> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #8295: T4850 deadlocks when run with -Ds on Windows (also it's failing)
by GHC 03 Nov '14

03 Nov '14

#8295: T4850 deadlocks when run with -Ds on Windows (also it's failing) --------------------------+------------------------------------------------ Reporter: ezyang | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.7 Runtime System | Operating System: Windows Keywords: | Type of failure: Incorrect result at runtime Architecture: x86_64 | Test Case: T4850 (amd64) | Blocking: Difficulty: | Unknown | Blocked By: | Related Tickets: | --------------------------+------------------------------------------------ T4850 has been failing recently, reporting too *few* OS threads allocated. That's pretty odd. What is also odd (and much less good) is that T4850 is deadlocking when you run it with `-Ds`. Uh oh! {{{ bash.exe-3.1$ ./T4850 +RTS -Ds 7eb0: created capset 0 of type 2 7eb0: created capset 1 of type 3 7eb0: cap 0: initialised 7eb0: assigned cap 0 to capset 0 7eb0: assigned cap 0 to capset 1 7eb0: allocated 1 more capabilities 7eb0: new task (taskCount: 1) 7eb0: returning; I want capability 0 7eb0: resuming capability 0 7eb0: cap 0: created thread 1 7eb0: new bound thread (1) 7eb0: cap 0: schedule() 7eb0: cap 0: running thread 1 (ThreadRunGHC) 7eb0: cap 0: created thread 2 7eb0: cap 0: thread 1 stopped (finished) 7eb0: bound thread (1) finished 7eb0: starting new worker on capability 0 7eb0: new worker task (taskCount: 2) 7eb0: task exiting 7eb0: new task (taskCount: 2) 7eb0: returning; I want capability 0 7fc0: cap 0: schedule() 7fc0: giving up capability 0 7fc0: passing capability 0 to worker 0x7eb0 7eb0: resuming capability 0 7eb0: cap 0: created thread 3 7eb0: new bound thread (3) 7eb0: cap 0: schedule() 7eb0: giving up capability 0 7eb0: passing capability 0 to worker 0x7fc0 7fc0: woken up on capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to bound task 0x7eb0 7eb0: woken up on capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (suspended while making a foreign call) 7eb0: starting new worker on capability 0 7eb0: new worker task (taskCount: 3) 7eb0: returning; I want capability 0 7b50: cap 0: schedule() 7b50: giving up capability 0 7b50: passing capability 0 to bound task 0x7eb0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: created thread 4 7eb0: cap 0: thread 3 stopped (blocked on an MVar) thread 3 @ 00e03bbc is blocked on an MVar @ 00e021e4 (TSO_DIRTY) 7eb0: giving up capability 0 7eb0: passing capability 0 to worker 0x7b50 7b50: woken up on capability 0 7b50: resuming capability 0 7b50: cap 0: running thread 4 (ThreadRunGHC) 7b50: cap 0: thread 4 stopped (suspended while making a foreign call) 7b50: starting new worker on capability 0 7b50: new worker task (taskCount: 4) 7b50: new task (taskCount: 4) 7b50: returning; I want capability 0 7de4: cap 0: schedule() 7de4: giving up capability 0 7de4: passing capability 0 to worker 0x7b50 7b50: resuming capability 0 7b50: cap 0: created thread 5 7b50: new bound thread (5) 7b50: cap 0: schedule() 7b50: cap 0: running thread 5 (ThreadRunGHC) 7b50: cap 0: thread 5 stopped (finished) 7b50: bound thread (5) finished 7b50: freeing capability 0 7b50: task exiting 7b50: returning; I want capability 0 7b50: resuming capability 0 7b50: cap 0: running thread 4 (ThreadRunGHC) 7b50: cap 0: waking up thread 3 on cap 0 7b50: cap 0: thread 4 stopped (finished) 7b50: giving up capability 0 7b50: passing capability 0 to bound task 0x7eb0 7eb0: woken up on capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (suspended while making a foreign call) 7eb0: freeing capability 0 7eb0: returning; I want capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (suspended while making a foreign call) 7eb0: freeing capability 0 4 7eb0: returning; I want capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: created thread 6 7eb0: cap 0: thread 3 stopped (blocked on an MVar) thread 3 @ 00e03bbc is blocked on an MVar @ 00e021e4 (TSO_DIRTY) 7eb0: giving up capability 0 7eb0: passing capability 0 to worker 0x7b50 7b50: woken up on capability 0 7b50: resuming capability 0 7b50: cap 0: running thread 6 (ThreadRunGHC) 7b50: cap 0: thread 6 stopped (suspended while making a foreign call) 7b50: freeing capability 0 7b50: new task (taskCount: 4) 7b50: returning; I want capability 0 7b50: resuming capability 0 7b50: cap 0: created thread 7 7b50: new bound thread (7) 7b50: cap 0: schedule() 7b50: cap 0: running thread 7 (ThreadRunGHC) 7b50: cap 0: thread 7 stopped (finished) 7b50: bound thread (7) finished 7b50: freeing capability 0 7b50: task exiting 7b50: returning; I want capability 0 7b50: resuming capability 0 7b50: cap 0: running thread 6 (ThreadRunGHC) 7b50: cap 0: waking up thread 3 on cap 0 7b50: cap 0: thread 6 stopped (finished) 7b50: giving up capability 0 7b50: passing capability 0 to bound task 0x7eb0 7eb0: woken up on capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (suspended while making a foreign call) 7eb0: freeing capability 0 7eb0: returning; I want capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (suspended while making a foreign call) 7eb0: freeing capability 0 4 7eb0: returning; I want capability 0 7eb0: resuming capability 0 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (yielding) 7eb0: cap 0: running thread 3 (ThreadRunGHC) 7eb0: cap 0: thread 3 stopped (finished) 7eb0: bound thread (3) finished 7eb0: freeing capability 0 7eb0: task exiting 7eb0: new task (taskCount: 4) 7eb0: returning; I want capability 0 7eb0: resuming capability 0 7eb0: cap 0: created thread 8 7eb0: new bound thread (8) 7eb0: cap 0: schedule() 7eb0: cap 0: running thread 8 (ThreadRunGHC) 7eb0: cap 0: thread 8 stopped (finished) 7eb0: bound thread (8) finished 7eb0: freeing capability 0 7eb0: task exiting 7eb0: new task (taskCount: 4) 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7eb0: returning; I want capability 0 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (suspended while making a foreign call) 7fc0: passing capability 0 to worker 0x7eb0 7fc0: returning; I want capability 0 7fc0: resuming capability 0 7fc0: cap 0: running thread 2 (ThreadRunGHC) 7fc0: cap 0: thread 2 stopped (yielding) 7fc0: SCHED_INTERRUPTING 7fc0: cap 0: requesting sequential GC 7fc0: grabbing all the capabilies (0/1) all threads: threads on capability 0: thread 2 @ 00e037bc is not blocked (TSO_DIRTY) other threads: 7fc0: deleting all threads 7fc0: cap 0: raising exception in thread 2. 7fc0: cap 0: starting GC 7fc0: cap 0: GC working 7fc0: cap 0: GC idle 7fc0: cap 0: GC done 7fc0: cap 0: GC idle 7fc0: cap 0: GC done 7fc0: cap 0: GC idle 7fc0: cap 0: GC done 7fc0: cap 0: all caps stopped for GC 7fc0: cap 0: finished GC 7fc0: SCHED_SHUTTING_DOWN 7fc0: giving up capability 0 7fc0: passing capability 0 to worker 0x7eb0 7eb0: resuming capability 0 7eb0: passing capability 0 to worker 0x7fc0 7eb0: shutting down capability 0, attempt 0 7fc0: woken up on capability 0 7eb0: runnable threads or workers still alive, yielding 7eb0: passing capability 0 to worker 0x7fc0 7eb0: shutting down capability 0, attempt 1 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 2 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 3 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 4 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 5 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 6 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 7 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 8 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 9 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 10 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 11 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 12 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 13 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 14 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 15 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 16 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 17 7eb0: not owner, yielding 7eb0: shutting down capability 0, attempt 18 7eb0: not owner, yielding ... }}} ad infinitum. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8295> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8345: A more efficient atomicModifyIORef'
by GHC 27 Oct '14

27 Oct '14

#8345: A more efficient atomicModifyIORef' ------------------------------------+------------------------------------- Reporter: parcs | Owner: Type: task | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- `atomicModifyIORef'` is currently defined as: {{{ #!haskell atomicModifyIORef' ref f = do b <- atomicModifyIORef ref (\x -> let (a, b) = f x in (a, a `seq` b)) b `seq` return b }}} This doesn't seem to be the best we can do, though. The following implementation exhibits a speedup of 1.7x (vanilla RTS) / 1.4x (threaded RTS) over the current implementation: {{{ #!haskell atomicModifyIORef' ref f = do b <- atomicModifyIORef ref $ \a -> case f a of v@(a',_) -> a' `seq` v b `seq` return b }}} The differences between this version and the current version are: 1. the lambda is now strict in `f a`, and 2. a new result tuple is no longer being allocated. Is there a good reason why `atomicModifyIORef'` is not already defined this way? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8345> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 18

[GHC] #8374: `tcIfaceGlobal (local): not found` while compiling
by GHC 29 Sep '14

29 Sep '14

#8374: `tcIfaceGlobal (local): not found` while compiling ----------------------------+---------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: arm | Type of failure: Building GHC failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------+---------------------------------------- On commit fa3ffb43144eadc406031110b01ba3dc4f9bd94e on compiling on ARM, ``` "rm" -f libraries/integer-gmp/dist-install/build/libHSinteger- gmp-0.5.1.0.a.contents "/usr/bin/ld" -r -o libraries/integer-gmp/dist-install/build/HSinteger- gmp-0.5.1.0.o libraries/integer-gmp/dist-install/build/GHC/Integer.o libraries/integer-gmp/dist-install/build/GHC/Integer/GMP/Internals.o libraries/integer-gmp/dist-install/build/GHC/Integer/GMP/Prim.o libraries /integer-gmp/dist-install/build/GHC/Integer/Logarithms.o libraries /integer-gmp/dist-install/build/GHC/Integer/Logarithms/Internals.o libraries/integer-gmp/dist-install/build/GHC/Integer/Type.o libraries /integer-gmp/dist-install/build/cbits/gmp-wrappers.o libraries/integer- gmp/dist-install/build/cbits/cbits.o ghc-stage1: panic! (the 'impossible' happened) (GHC version 7.7.20130924 for arm-unknown-linux): tcIfaceGlobal (local): not found: base:GHC.Base.$fMonadIO{v r1} [(02K, Identifier ‛base:GHC.Base.fail{v 02K}’), (02L, Identifier ‛base:GHC.Base.>>={v 02L}’), (02M, Identifier ‛base:GHC.Base.>>{v 02M}’), (02N, Identifier ‛base:GHC.Base.fmap{v 02N}’), (02O, Identifier ‛base:GHC.Base.return{v 02O}’), (28, Class ‛base:GHC.Base.Monad{tc 28}’), (2a, Class ‛base:GHC.Base.Functor{tc 2a}’), (36r, Type constructor ‛base:GHC.Base.Opaque{tc 36r}’), (36u, Type constructor ‛base:GHC.Base.String{tc 36u}’), (rB, Data constructor ‛base:GHC.Base.O{d rB}’), (rD, Identifier ‛base:GHC.Base.<${v rD}’), (rhP, Identifier ‛base:GHC.Base.O{v rhP}’), (ri5, Data constructor ‛base:GHC.Base.D:Functor{d ri5}’), (rit, Identifier ‛base:GHC.Base.$dm<${v rit}’), (riv, Identifier ‛base:GHC.Base.D:Functor{v riv}’), (riX, Data constructor ‛base:GHC.Base.D:Monad{d riX}’), (rjw, Identifier ‛base:GHC.Base.$dm>>{v rjw}’), (rjx, Identifier ‛base:GHC.Base.$dmfail{v rjx}’), (rjz, Identifier ‛base:GHC.Base.D:Monad{v rjz}’)] ``` -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8374> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 36