October 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

[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

[GHC] #8967: Add syntax for creating finite maps and sets
by GHC 02 Nov '14

02 Nov '14

#8967: Add syntax for creating finite maps and sets ------------------------------------+------------------------------------- Reporter: tibbe | 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: | ------------------------------------+------------------------------------- Many languages have syntax for creating maps. Commonly used syntax is either {{{ {key1: value1, key2: value2, ...} }}} or {{{ {key1 => value1, key2 => value2, ...} }}} Since few Haskellers (with the notable exception of SPJ) use the curly bracket Haskell syntax for layout, I thought we could co-opt it and instead use it for map (and set literals.) The feature would of course be protected by a language pragma as to not break old code. Strawman proposal: `{key1: value1, key2: value2, ...}` desugars to `fromList [(key1, value1), (key2, value2), ...]`, using a new type class: {{{#!haskell class IsMap m where type Key m type Value m fromList :: [(Key m, Value m)] -> m }}} `{:}` is the literal for empty maps. Analogously, `{value1, value2, ...}` desugars to `fromList [value1, value2, ...]`, using a new type class: {{{#!haskell class IsSet m where type Item m fromList :: [Item m] -> m }}} `{}` is the literal for empty sets. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8967> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #9738: Handle ANN pragmas in declaration splices
by GHC 02 Nov '14

02 Nov '14

#9738: Handle ANN pragmas in declaration splices -------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Template Haskell | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- If I say {{{ $( do decs <- [d| data T = MkT {-# ANN type T "hi!" #-} |] runIO $ putStrLn $ pprint decs return decs ) }}} I get {{{ data T_0 = MkT_1 }}} No `ANN`. :( -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9738> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9084: Template Haskell should warn when it encounters an unencodable pragma
by GHC 02 Nov '14

02 Nov '14

#9084: Template Haskell should warn when it encounters an unencodable pragma ------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- When I say this {{{ {-# LANGUAGE TemplateHaskell #-} {-# OPTIONS_GHC -Wall #-} module Bug where $([d| class C a where meth :: a -> a meth = undefined -- give a (silly) default {-# MINIMAL meth #-} |]) instance C Int }}} I get no warnings. I'm not surprised that TH doesn't handle every pragma that GHC knows about, but it should issue a (suppressable) warning when it discards one. I can fix this one. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9084> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #9262: Allow free variables in reifyInstances
by GHC 02 Nov '14

02 Nov '14

#9262: Allow free variables in reifyInstances ------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: feature request | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- When I say {{{ {-# LANGUAGE TemplateHaskell #-} module Bug where import Language.Haskell.TH $( do insts <- reifyInstances ''Eq [ListT `AppT` VarT (mkName "a")] runIO $ putStrLn $ pprint insts return [] ) }}} I get {{{ Bug.hs:7:4: Not in scope: type variable ‘a’ In the argument of reifyInstances: GHC.Classes.Eq [a] }}} But, I wanted the declaration for `instance Eq a => Eq [a]`. The error message isn't wrong, exactly -- `a` really isn't in scope -- but I think we can do better by just treating variables as fresh. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9262> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

Re: [GHC] #2773: Documentation mentions deprecated flags
by GHC 31 Oct '14

31 Oct '14

#2773: Documentation mentions deprecated flags -------------------------------------+--------------------------------- Reporter: guest | Owner: igloo Type: bug | Status: closed Priority: normal | Milestone: 6.10.2 Component: Documentation | Version: 6.10.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Difficulty: Unknown | Test Case: -------------------------------------+--------------------------------- Comment (by Austin Seipp <austin@…>): In [changeset:"e466ea7a153a1b8d5bcfebf3dddaa33125c14c5d/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="e466ea7a153a1b8d5bcfebf3dddaa33125c14c5d" Remove legacy support for -optdef flags Summary: -optdef flags were deprecated in or before 2008 Reviewers: austin Reviewed By: austin Subscribers: thomie, carter, simonmar Differential Revision: https://phabricator.haskell.org/D409 GHC Trac Issues: #2773 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2773#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0