November 2014 - ghc-tickets

[GHC] #9246: GHC generates poor code for repeated uses of min/max
by GHC 02 Nov '14

02 Nov '14

#9246: GHC generates poor code for repeated uses of min/max ------------------------------+-------------------------------------------- Reporter: arotenberg | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Windows Architecture: x86_64 | Type of failure: Runtime performance bug (amd64) | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: #6135 | ------------------------------+-------------------------------------------- Consider the following module, which intends to implement a [http://tavianator.com/2011/05/fast-branchless-raybounding-box- intersections/ branchless ray-AABB intersection test]: {{{ module SimpleGeom where data Vec3 = Vec3 {-# UNPACK #-} !Double {-# UNPACK #-} !Double {-# UNPACK #-} !Double data Ray = Ray !Vec3 !Vec3 !Vec3 data AABB = AABB !Vec3 !Vec3 testRayAABBIntersection :: Ray -> AABB -> Bool testRayAABBIntersection (Ray (Vec3 ox oy oz) _ (Vec3 invDx invDy invDz)) (AABB (Vec3 minX minY minZ) (Vec3 maxX maxY maxZ)) = let tx1 = (minX - ox) * invDx tx2 = (maxX - ox) * invDx ty1 = (minY - oy) * invDy ty2 = (maxY - oy) * invDy tz1 = (minZ - oz) * invDz tz2 = (maxZ - oz) * invDz tmin = min tx1 tx2 `max` min ty1 ty2 `max` min tz1 tz2 tmax = max tx1 tx2 `min` max ty1 ty2 `min` max tz1 tz2 in tmax >= max 0 tmin }}} Everything is strict primitive operations, so GHC should generate very simple, fast code, right? But upon compiling with {{{ghc -O -ddump-simpl -ddump-to-file SimpleGeom}}}, I found a mess of nested local lambdas and similar performance-killing expression forms. (See the attached output file.) There are two possible issues I can see here. 1. GHC is trying to expand out all of the branches recursively (I would presume via case-of-cases transformation), which is a bad idea in this instance compared to just performing the cases sequentially and storing their results. 1. GHC is generating branches for floating-point min/max. Instruction sets like SSE2 include non-branching floating-point min/max instructions, which is exactly what this algorithm was designed to exploit, but GHC does not generate code that could take advantage of these instructions. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9246> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

Re: [GHC] #989: Build GHC on Windows using Microsoft toolchain
by GHC 02 Nov '14

02 Nov '14

#989: Build GHC on Windows using Microsoft toolchain -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: feature | Status: new request | Milestone: ⊥ Priority: low | Version: Component: Build | Keywords: System | Architecture: x86 Resolution: | Difficulty: Project (more Operating System: Windows | than a week) Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: N/A | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by gintas): * priority: normal => low -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/989#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

02 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 02 Nov '14

02 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] #8571: Validation fails
by GHC 02 Nov '14

02 Nov '14

#8571: Validation fails ----------------------------------+--------------------------------- Reporter: khyperia | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 7.6.3 Keywords: | Operating System: Windows Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------- {{{ =====> T5267(normal) 50 of 3812 [0, 0, 0] cd ./arrows/should_compile && 'c:/Users/Evan/Documents/ghc/bindisttest/install dir/bin/ghc.exe' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-us er-package-db -rtsopts -fno-ghci-history -c T5267.hs >T5267.comp.stderr 2>&1 Compile failed (status 256) errors were: T5267.hs:11:15: tee: standard output: Permission denied }}} followed by an infinite hang. If I comment out that specific test, another test fails a few tests later. If I comment out that one, another one fails a few later. If I comment out *that* one... you get the picture. Running as administrator does not solve the permission denied issue. I am on Windows 8.1, if that matters. I think, I am not sure, that any test with expect_broken in them hangs without moving on. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8571> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #9667: Type inference is weaker for GADT than analogous Data Family
by GHC 02 Nov '14

02 Nov '14

#9667: Type inference is weaker for GADT than analogous Data Family -------------------------------------+------------------------------------- Reporter: carter | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.3 checker) | Operating System: Keywords: | Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: GHC Difficulty: Unknown | rejects valid program Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- I'm marking this as a Feature request rather than a bug (though it was unexpected behavior for me!) In my code base i had the following types {{{#!hs data Prod = Pair Prod Prod | Unit data VProd (vect :: * -> * ) (prd:: Prod ) val where VLeaf :: !(v a) -> VProd v Unit a VPair :: !(VProd v pra a) -> !(VProd v prb b ) ->VProd v (Pair pra prb) (a,b) data MVProd (vect :: * -> * -> * ) (prd:: Prod ) (st :: * ) val where MVLeaf :: !(mv st a) -> MVProd mv Unit st a MVPair :: !(MVProd mv pra st a) -> !(MVProd mv prb st b ) -> MVProd mv (Pair pra prb) st (a,b) }}} which are meant as a way of modeling vectors of tuples as tuples (err trees) of vectors however, sometimes type inference would fail in explosive ways like {{{ *Numerical.Data.Vector.Pair Data.Vector VG> (VPair (VLeaf (va :: Vector Int)) (VLeaf (vb:: Vector Int))) <- return $ VG.fromList [(1::Int,2::Int),(3,5)] :: (VProd Vector (Pair Unit Unit) (Int,Int)) <interactive>:24:16: Could not deduce (a ~ Int) from the context (t1 ~ 'Pair pra prb, t2 ~ (a, b)) bound by a pattern with constructor VPair :: forall (v :: * -> *) (pra :: Prod) a (prb :: Prod) b. VProd v pra a -> VProd v prb b -> VProd v ('Pair pra prb) (a, b), in a pattern binding in interactive GHCi command at <interactive>:24:2-59 or from (pra ~ 'Unit) bound by a pattern with constructor VLeaf :: forall (v :: * -> *) a. v a -> VProd v 'Unit a, in a pattern binding in interactive GHCi command at <interactive>:24:9-32 ‘a’ is a rigid type variable bound by a pattern with constructor VPair :: forall (v :: * -> *) (pra :: Prod) a (prb :: Prod) b. VProd v pra a -> VProd v prb b -> VProd v ('Pair pra prb) (a, b), in a pattern binding in interactive GHCi command at <interactive>:24:2 Expected type: t0 a Actual type: Vector Int In the pattern: va :: Vector Int In the pattern: VLeaf (va :: Vector Int) In the pattern: VPair (VLeaf (va :: Vector Int)) (VLeaf (vb :: Vector Int)) <interactive>:24:43: Could not deduce (b ~ Int) from the context (t1 ~ 'Pair pra prb, t2 ~ (a, b)) bound by a pattern with constructor VPair :: forall (v :: * -> *) (pra :: Prod) a (prb :: Prod) b. VProd v pra a -> VProd v prb b -> VProd v ('Pair pra prb) (a, b), in a pattern binding in interactive GHCi command at <interactive>:24:2-59 or from (pra ~ 'Unit) bound by a pattern with constructor VLeaf :: forall (v :: * -> *) a. v a -> VProd v 'Unit a, in a pattern binding in interactive GHCi command at <interactive>:24:9-32 or from (prb ~ 'Unit) bound by a pattern with constructor VLeaf :: forall (v :: * -> *) a. v a -> VProd v 'Unit a, in a pattern binding in interactive GHCi command at <interactive>:24:36-58 ‘b’ is a rigid type variable bound by a pattern with constructor VPair :: forall (v :: * -> *) (pra :: Prod) a (prb :: Prod) b. VProd v pra a -> VProd v prb b -> VProd v ('Pair pra prb) (a, b), in a pattern binding in interactive GHCi command at <interactive>:24:2 Expected type: t0 b Actual type: Vector Int In the pattern: vb :: Vector Int In the pattern: VLeaf (vb :: Vector Int) In the pattern: VPair (VLeaf (va :: Vector Int)) (VLeaf (vb :: Vector Int)) <interactive>:24:65: Couldn't match type ‘(Int, Int)’ with ‘Int’ Expected type: VProd Vector ('Pair 'Unit 'Unit) (Int, Int) Actual type: VProd Vector ('Pair 'Unit 'Unit) (Int, (Int, Int)) In the first argument of ‘GHC.GHCi.ghciStepIO :: IO a_a5BR -> IO a_a5BR’, namely ‘return $ VG.fromList [(1 :: Int, 2 :: Int), (3, 5)] :: VProd Vector (Pair Unit Unit) (Int, Int)’ In a stmt of an interactive GHCi command: (VPair (VLeaf (va :: Vector Int)) (VLeaf (vb :: Vector Int))) <- GHC.GHCi.ghciStepIO :: IO a_a5BR -> IO a_a5BR (return $ VG.fromList [(1 :: Int, 2 :: Int), (3, 5)] :: VProd Vector (Pair Unit Unit) (Int, Int)) <interactive>:24:65: Couldn't match expected type ‘IO (VProd t0 t1 t2)’ with actual type ‘VProd Vector ('Pair 'Unit 'Unit) (Int, Int)’ In the first argument of ‘GHC.GHCi.ghciStepIO :: IO a_a5BR -> IO a_a5BR’, namely ‘return $ VG.fromList [(1 :: Int, 2 :: Int), (3, 5)] :: VProd Vector (Pair Unit Unit) (Int, Int)’ In a stmt of an interactive GHCi command: (VPair (VLeaf (va :: Vector Int)) (VLeaf (vb :: Vector Int))) <- GHC.GHCi.ghciStepIO :: IO a_a5BR -> IO a_a5BR (return $ VG.fromList [(1 :: Int, 2 :: Int), (3, 5)] :: VProd Vector (Pair Unit Unit) (Int, Int)) }}} I then experimented with using Data Families instead {{[#!hs data Prod = Pair Prod Prod | Unit data family VProd (vect :: * -> * ) (prd:: Prod ) val -- where data instance VProd v Unit a where VLeaf :: !(v a) -> VProd v Unit a data instance VProd v (Pair pra prb ) (a,b) where VPair :: !(VProd v pra a) -> !(VProd v prb b ) ->VProd v (Pair pra prb) (a,b) data family MVProd (vect :: * -> * -> * ) (prd:: Prod ) (st :: * ) val -- where data instance MVProd mv Unit st a where MVLeaf :: !(mv st a) -> MVProd mv Unit st a data instance MVProd mv (Pair pra prb) st (a,b) where MVPair :: !(MVProd mv pra st a) -> !(MVProd mv prb st b ) -> MVProd mv (Pair pra prb) st (a,b) }}} and type inference would chug along quite happily on the same example. Attached is the file needed to (somewhat minimally) reproduce this I guess what I'm saying here is I've quite a funny tension, I'm writing a patently closed data type, which has a perfectly reasonable GADT definition, but I need to use an (Open!) data family definition to get good type inference in the use sites! This seems like something where (roughly) when the GADT constructors satisfy something analogous to the no overlap condition of a valid data family, similarly strong type inference might be possible? I'm not sure if this makes sense, so i'm posing it as a feature request because i'm Not quite sure what the implications would be within type inference, but it'd probably be quite nice for end users because they'd suddenly get much better type inference for a large class of GADTs (i think) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9667> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

Re: [GHC] #7994: Make foldl into a good consumer
by GHC 02 Nov '14

02 Nov '14

#7994: Make foldl into a good consumer -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.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: -------------------------------------+------------------------------------ Comment (by Joachim Breitner <mail@…>): In [changeset:"072259c78f77d6fe7c36755ebe0123e813c34457/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="072259c78f77d6fe7c36755ebe0123e813c34457" Use oneShot in the definition of foldl etc. This increases the chance of good code after fusing a left fold. See ticket #7994 and the new Note [Left folds via right fold] Differential Revision: https://phabricator.haskell.org/D393 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7994#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7994: Make foldl into a good consumer
by GHC 02 Nov '14

02 Nov '14

#7994: Make foldl into a good consumer -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.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: -------------------------------------+------------------------------------ Comment (by Joachim Breitner <mail@…>): In [changeset:"c271e32eac65ee95ba1aacc72ed1b24b58ef17ad/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="c271e32eac65ee95ba1aacc72ed1b24b58ef17ad" Add GHC.Prim.oneShot to allow the programer to explictitly set the oneShot flag. This helps with #7994 and will be used in left folds. Also see https://ghc.haskell.org/trac/ghc/wiki/OneShot This commit touches libraries/base/GHC/Event/Manager.hs (which used to have a local definition of the name oneShot) to avoid a shadowing error. Differential Revision: https://phabricator.haskell.org/D392 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7994#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2526: Warn about missing signatures only for exported functions (was: warn about missing signatures only for exported functions)
by GHC 02 Nov '14

02 Nov '14

#2526: Warn about missing signatures only for exported functions -------------------------------------+------------------------------------- Reporter: | Owner: fergushenderson | Status: new Type: feature | Milestone: 7.10.1 request | Version: 6.8.3 Priority: lowest | Keywords: Component: Compiler | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Description changed by thomie: Old description: > The -fno-warn-missing-signatures option results in warnings if signatures > are not declared for any top-level functions. > > Many Haskell users prefer to declare type signatures only for exported > functions, which are part of the module's interface, not for all > functions. It would be nice to have an option that issued warnings iff > any exported functions lacked explicit signatures. New description: The -fwarn-missing-signatures option results in warnings if signatures are not declared for any top-level functions. Many Haskell users prefer to declare type signatures only for exported functions, which are part of the module's interface, not for all functions. It would be nice to have an option that issued warnings iff any exported functions lacked explicit signatures. -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2526#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2365: Warn about usage of `OPTIONS_GHC -XLanguageExtension` (was: Warn about suspicious flags in OPTIONS_GHC pragmas)
by GHC 02 Nov '14

02 Nov '14

#2365: Warn about usage of `OPTIONS_GHC -XLanguageExtension` -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: lowest | Version: 6.8.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #1407, #2499 None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * related: #1407 => #1407, #2499 Comment: Warnings for `{-# OPTIONS_GHC -package foo #-}` were added in #2499. This ticket is for showing a warning when `{-# OPTIONS_GHC -XLanguageExtension #-}` is used. The [https://www.haskell.org/ghc/docs/7.8.3/html/users_guide/pragmas.html #language-pragma user guide] says: "The LANGUAGE pragma should be used instead of OPTIONS_GHC, if possible." -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2365#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0