June 2015 - ghc-tickets

[GHC] #10439: Opt_ImplicitImportQualified doesn't work for constructor field name
by GHC 07 Jul '15

07 Jul '15

#10439: Opt_ImplicitImportQualified doesn't work for constructor field name -------------------------------------+------------------------------------- Reporter: watashi | Owner: watashi Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: x86 | Type of failure: GHC rejects Test Case: | valid program Blocking: | Blocked By: Differential Revisions: | Related Tickets: -------------------------------------+------------------------------------- {{{#!hs -- ghci -fimplicit-import-qualified Prelude> let tree = Data.Tree.Node 0 [] Prelude> Data.Tree.rootLabel tree 0 Prelude> let f i j = i { Data.Tree.rootLabel = j } <interactive>:4:17: ‘Data.Tree.rootLabel’ is not a (visible) constructor field name Prelude> import qualified Data.Tree Prelude Data.Tree> let f i j = i { Data.Tree.rootLabel = j } Prelude Data.Tree> f tree 1 Node {rootLabel = 1, subForest = []} }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10439> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #9863: Provide PowerPC 64 bit native code generator
by GHC 07 Jul '15

07 Jul '15

#9863: Provide PowerPC 64 bit native code generator -------------------------------------+------------------------------------- Reporter: trommler | Owner: trommler Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Linux Architecture: powerpc64 | Type of failure: Difficulty: Project (more | None/Unknown than a week) | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- I have started work on a native code generator for PowerPC 64 bit by extending the 32 bit code generator. The code is hosted on github: [https://github.com/trommler/ghc/tree/native] So far I plan to support the old ELF v1.9 ABI on big endian. I might look into little endian and ELF 2.0 later. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9863> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #10283: Make it possible to suppress warnings produced by -fdefer-type-errors
by GHC 07 Jul '15

07 Jul '15

#10283: Make it possible to suppress warnings produced by -fdefer-type-errors -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.10.1 Component: Compiler | Operating System: Unknown/Multiple (Type checker) | Type of failure: None/Unknown Keywords: | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- At the moment, there seems to be no way to suppress warnings generated by `-fdefer-type-errors` (even `-w` doesn't work). It would be nice to be able to silence them, preferably via a new flag `-fno-warn-deferred-type- errors`. The motivation for this comes from using `-fdefer-type-errors` to write tests that certain definitions do not typecheck (which is very useful, and is a cheaper alternative to writing code to invoke GHC on a source file and analyse its output). In this situation, it is annoying to see a large number of warnings when compiling the testsuite. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10283> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #10573: Generalize forever to Applicative
by GHC 07 Jul '15

07 Jul '15

#10573: Generalize forever to Applicative -------------------------------------+------------------------------------- Reporter: fumieval | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.10.1 Component: | Operating System: Unknown/Multiple libraries/base | Type of failure: None/Unknown Keywords: AMP | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- This was proposed a month ago (https://mail.haskell.org/pipermail/libraries/2015-May/025711.html) and all the responses were positive. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10573> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #10205: On Windows ghc-pkg always reports cache out of date
by GHC 07 Jul '15

07 Jul '15

#10205: On Windows ghc-pkg always reports cache out of date -------------------------------------+------------------------------------- Reporter: hgolden | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: ghc-pkg | Version: 7.10.1 Keywords: | Operating System: Windows Architecture: x86 | Type of failure: Incorrect result Test Case: | at runtime Blocking: | Blocked By: Differential Revisions: | Related Tickets: -------------------------------------+------------------------------------- When I ran {{{ghc-pkg list}}} on Windows, it reported that the global and user caches were out of date. As instructed, I recached both caches. Despite this, I continued to get the same error message. It appears that the timestamp on the package.conf.d directory is always a few milliseconds later than the timestamp of the package cache, even after recaching, as shown by the log excerpt below. Original error: {{{ C:\Users\hgolden\AppData\Roaming>ghc-pkg check WARNING: cache is out of date: C:\Users\hgolden\AppData\Roaming\ghc\i386-mingw32-7.10.1\package.conf.d\package.cache ghc will see an old view of this package db. Use 'ghc-pkg recache' to fix. WARNING: cache is out of date: C:/Program Files/MinGHC-7.10.1/ghc-7.10.1\lib\package.conf.d\package.cache ghc will see an old view of this package db. Use 'ghc-pkg recache' to fix. [snip...] }}} Checking timestamps: {{{ C:\Users\hgolden\AppData\Roaming>ghc-pkg -v2 list Timestamp 2015-03-27 21:18:29.5247984 UTC for C:\Users\hgolden\AppData\Roaming\ghc\i386-mingw32-7.10.1\package.conf.d\pa ckage.cache Timestamp 2015-03-27 21:18:29.5277984 UTC for C:\Users\hgolden\AppData\Roaming\ghc\i386-mingw32-7.10.1\package.conf.d (N EWER than cache) WARNING: cache is out of date: C:\Users\hgolden\AppData\Roaming\ghc\i386-mingw32-7.10.1\package.conf.d\package.cache ghc will see an old view of this package db. Use 'ghc-pkg recache' to fix. [snip...] Timestamp 2015-03-27 21:15:48.6285984 UTC for C:/Program Files/MinGHC-7.10.1/ghc-7.10.1\lib\package.conf.d\package.cache Timestamp 2015-03-27 21:15:48.6835984 UTC for C:/Program Files/MinGHC-7.10.1/ghc-7.10.1\lib\package.conf.d (NEWER than c ache) WARNING: cache is out of date: C:/Program Files/MinGHC-7.10.1/ghc-7.10.1\lib\package.conf.d\package.cache ghc will see an old view of this package db. Use 'ghc-pkg recache' to fix. [snip...] }}} Recaching as instructed: {{{ C:\Users\hgolden\AppData\Roaming>ghc-pkg -v2 recache --user [snip...] modifying: Just "C:\\Users\\hgolden\\AppData\\Roaming\\ghc\\i386-mingw32-7.10.1\\package.conf.d" flag db stack: ["C:\\Users\\hgolden\\AppData\\Roaming\\ghc\\i386-mingw32-7.10.1\\package.conf.d"] writing cache C:\Users\hgolden\AppData\Roaming\ghc\i386-mingw32-7.10.1\package.conf.d\package.cache C:\Users\hgolden\AppData\Roaming>ghc-pkg -v2 recache --global [snip...] modifying: Just "C:/Program Files/MinGHC-7.10.1/ghc-7.10.1\\lib\\package.conf.d" flag db stack: ["C:/Program Files/MinGHC-7.10.1/ghc-7.10.1\\lib\\package.conf.d"] writing cache C:/Program Files/MinGHC-7.10.1/ghc-7.10.1\lib\package.conf.d\package.cache }}} Looking at timestamps after recaching: {{{ C:\Users\hgolden\AppData\Roaming>ghc-pkg -v2 list Timestamp 2015-03-27 21:21:50.3341984 UTC for C:\Users\hgolden\AppData\Roaming\ghc\i386-mingw32-7.10.1\package.conf.d\pa ckage.cache Timestamp 2015-03-27 21:21:50.3371984 UTC for C:\Users\hgolden\AppData\Roaming\ghc\i386-mingw32-7.10.1\package.conf.d (N EWER than cache) WARNING: cache is out of date: C:\Users\hgolden\AppData\Roaming\ghc\i386-mingw32-7.10.1\package.conf.d\package.cache ghc will see an old view of this package db. Use 'ghc-pkg recache' to fix. [snip...] Timestamp 2015-03-27 21:23:05.4329984 UTC for C:/Program Files/MinGHC-7.10.1/ghc-7.10.1\lib\package.conf.d\package.cache Timestamp 2015-03-27 21:23:05.4359984 UTC for C:/Program Files/MinGHC-7.10.1/ghc-7.10.1\lib\package.conf.d (NEWER than c ache) WARNING: cache is out of date: C:/Program Files/MinGHC-7.10.1/ghc-7.10.1\lib\package.conf.d\package.cache ghc will see an old view of this package db. Use 'ghc-pkg recache' to fix. C:\Users\hgolden\AppData\Roaming> }}} Timestamps have changed, but each directory's timestamp is still a few milliseconds after each cache file's timestamp. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10205> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 20

[GHC] #10587: Suspending and unsuspending ghci kills and spawns threads
by GHC 07 Jul '15

07 Jul '15

#10587: Suspending and unsuspending ghci kills and spawns threads -----------------------------------------+--------------------------------- Reporter: niteria | Owner: niteria Type: bug | Status: new Priority: low | Milestone: Component: GHCi | Version: 7.10.1 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -----------------------------------------+--------------------------------- When you run: {{{ ghci -j8 # in a different terminal: pidstat -t -p $(pidof ghc) | grep ghc_worker kill -SIGSTOP $(pidof ghc); kill -SIGCONT $(pidof ghc) # SIGCONT doesn't really resume it, you have to run fg in the terminal where it runs pidstat -t -p $(pidof ghc) | grep ghc_worker kill -SIGSTOP $(pidof ghc); kill -SIGCONT $(pidof ghc) pidstat -t -p $(pidof ghc) | grep ghc_worker kill -SIGSTOP $(pidof ghc); kill -SIGCONT $(pidof ghc) pidstat -t -p $(pidof ghc) | grep ghc_worker }}} You get: {{{ $ pidstat -t -p $(pidof ghc) | grep ghc_worker 06:40:55 AM - 2848953 0.00 0.00 0.00 0.00 21 |__ghc_worker 06:40:55 AM - 2848954 0.00 0.00 0.00 0.00 31 |__ghc_worker 06:40:55 AM - 2848955 0.00 0.00 0.00 0.00 21 |__ghc_worker 06:40:55 AM - 2848957 0.00 0.00 0.00 0.00 21 |__ghc_worker 06:40:55 AM - 2848958 0.00 0.00 0.00 0.00 22 |__ghc_worker 06:40:55 AM - 2848959 0.00 0.00 0.00 0.00 37 |__ghc_worker 06:40:55 AM - 2848960 0.00 0.00 0.00 0.00 3 |__ghc_worker 06:40:55 AM - 2848961 0.00 0.00 0.00 0.00 2 |__ghc_worker 06:40:55 AM - 2848962 0.00 0.00 0.00 0.00 36 |__ghc_worker 06:40:55 AM - 2848963 0.00 0.00 0.00 0.00 21 |__ghc_worker 06:40:55 AM - 2848964 0.00 0.00 0.00 0.00 31 |__ghc_worker 06:40:55 AM - 2848965 0.00 0.00 0.00 0.00 11 |__ghc_worker 06:40:55 AM - 2848966 0.00 0.00 0.00 0.00 24 |__ghc_worker 06:40:55 AM - 2848967 0.00 0.00 0.00 0.00 38 |__ghc_worker 06:40:55 AM - 2848968 0.00 0.00 0.00 0.00 23 |__ghc_worker 06:40:55 AM - 2848969 0.00 0.00 0.00 0.00 22 |__ghc_worker 06:40:55 AM - 2848970 0.00 0.00 0.00 0.00 31 |__ghc_worker }}} {{{ $ pidstat -t -p $(pidof ghc) | grep ghc_worker 06:41:37 AM - 2848953 0.00 0.00 0.00 0.00 21 |__ghc_worker 06:41:37 AM - 2848954 0.00 0.00 0.00 0.00 31 |__ghc_worker 06:41:37 AM - 2848955 0.00 0.00 0.00 0.00 3 |__ghc_worker 06:41:37 AM - 2848957 0.00 0.00 0.00 0.00 3 |__ghc_worker 06:41:37 AM - 2848958 0.00 0.00 0.00 0.00 22 |__ghc_worker 06:41:37 AM - 2848959 0.00 0.00 0.00 0.00 37 |__ghc_worker 06:41:37 AM - 2848960 0.00 0.00 0.00 0.00 5 |__ghc_worker 06:41:37 AM - 2848961 0.00 0.00 0.00 0.00 5 |__ghc_worker 06:41:37 AM - 2848962 0.00 0.00 0.00 0.00 36 |__ghc_worker 06:41:37 AM - 2848963 0.00 0.00 0.00 0.00 7 |__ghc_worker 06:41:37 AM - 2848964 0.00 0.00 0.00 0.00 12 |__ghc_worker 06:41:37 AM - 2848965 0.00 0.00 0.00 0.00 11 |__ghc_worker 06:41:37 AM - 2848966 0.00 0.00 0.00 0.00 24 |__ghc_worker 06:41:37 AM - 2848967 0.00 0.00 0.00 0.00 38 |__ghc_worker 06:41:37 AM - 2848968 0.00 0.00 0.00 0.00 23 |__ghc_worker 06:41:37 AM - 2848969 0.00 0.00 0.00 0.00 8 |__ghc_worker 06:41:37 AM - 2848970 0.00 0.00 0.00 0.00 14 |__ghc_worker 06:41:37 AM - 2850193 0.00 0.00 0.00 0.00 32 |__ghc_worker 06:41:37 AM - 2850194 0.00 0.00 0.00 0.00 33 |__ghc_worker 06:41:37 AM - 2850196 0.00 0.00 0.00 0.00 34 |__ghc_worker 06:41:37 AM - 2850197 0.00 0.00 0.00 0.00 35 |__ghc_worker 06:41:37 AM - 2850198 0.00 0.00 0.00 0.00 10 |__ghc_worker 06:41:37 AM - 2850199 0.00 0.00 0.00 0.00 17 |__ghc_worker 06:41:37 AM - 2850294 0.00 0.00 0.00 0.00 21 |__ghc_worker 06:41:37 AM - 2850295 0.00 0.00 0.00 0.00 31 |__ghc_worker }}} {{{ $ pidstat -t -p $(pidof ghc) | grep ghc_worker 06:42:43 AM - 2848953 0.00 0.00 0.00 0.00 21 |__ghc_worker 06:42:43 AM - 2848954 0.00 0.00 0.00 0.00 31 |__ghc_worker 06:42:43 AM - 2848955 0.00 0.00 0.00 0.00 3 |__ghc_worker 06:42:43 AM - 2848957 0.00 0.00 0.00 0.00 7 |__ghc_worker 06:42:43 AM - 2848958 0.00 0.00 0.00 0.00 22 |__ghc_worker 06:42:43 AM - 2848959 0.00 0.00 0.00 0.00 37 |__ghc_worker 06:42:43 AM - 2848960 0.00 0.00 0.00 0.00 9 |__ghc_worker 06:42:43 AM - 2848961 0.00 0.00 0.00 0.00 0 |__ghc_worker 06:42:43 AM - 2848962 0.00 0.00 0.00 0.00 36 |__ghc_worker 06:42:43 AM - 2848963 0.00 0.00 0.00 0.00 4 |__ghc_worker 06:42:43 AM - 2848964 0.00 0.00 0.00 0.00 12 |__ghc_worker 06:42:43 AM - 2848965 0.00 0.00 0.00 0.00 11 |__ghc_worker 06:42:43 AM - 2848966 0.00 0.00 0.00 0.00 24 |__ghc_worker 06:42:43 AM - 2848967 0.00 0.00 0.00 0.00 38 |__ghc_worker 06:42:43 AM - 2848968 0.00 0.00 0.00 0.00 23 |__ghc_worker 06:42:43 AM - 2848969 0.00 0.00 0.00 0.00 29 |__ghc_worker 06:42:43 AM - 2848970 0.00 0.00 0.00 0.00 14 |__ghc_worker 06:42:43 AM - 2850193 0.00 0.00 0.00 0.00 32 |__ghc_worker 06:42:43 AM - 2850196 0.00 0.00 0.00 0.00 34 |__ghc_worker 06:42:43 AM - 2850197 0.00 0.00 0.00 0.00 35 |__ghc_worker 06:42:43 AM - 2850198 0.00 0.00 0.00 0.00 10 |__ghc_worker 06:42:43 AM - 2850199 0.00 0.00 0.00 0.00 19 |__ghc_worker 06:42:43 AM - 2850295 0.00 0.00 0.00 0.00 13 |__ghc_worker 06:42:43 AM - 2861009 0.00 0.00 0.00 0.00 34 |__ghc_worker 06:42:43 AM - 2861010 0.00 0.00 0.00 0.00 35 |__ghc_worker }}} {{{ $ pidstat -t -p $(pidof ghc) | grep ghc_worker 06:43:37 AM - 2848953 0.00 0.00 0.00 0.00 21 |__ghc_worker 06:43:37 AM - 2848954 0.00 0.00 0.00 0.00 31 |__ghc_worker 06:43:37 AM - 2848955 0.00 0.00 0.00 0.00 9 |__ghc_worker 06:43:37 AM - 2848957 0.00 0.00 0.00 0.00 9 |__ghc_worker 06:43:37 AM - 2848958 0.00 0.00 0.00 0.00 22 |__ghc_worker 06:43:37 AM - 2848959 0.00 0.00 0.00 0.00 37 |__ghc_worker 06:43:37 AM - 2848960 0.00 0.00 0.00 0.00 29 |__ghc_worker 06:43:37 AM - 2848961 0.00 0.00 0.00 0.00 20 |__ghc_worker 06:43:37 AM - 2848962 0.00 0.00 0.00 0.00 36 |__ghc_worker 06:43:37 AM - 2848963 0.00 0.00 0.00 0.00 3 |__ghc_worker 06:43:37 AM - 2848964 0.00 0.00 0.00 0.00 12 |__ghc_worker 06:43:37 AM - 2848965 0.00 0.00 0.00 0.00 15 |__ghc_worker 06:43:37 AM - 2848966 0.00 0.00 0.00 0.00 24 |__ghc_worker 06:43:37 AM - 2848967 0.00 0.00 0.00 0.00 38 |__ghc_worker 06:43:37 AM - 2848968 0.00 0.00 0.00 0.00 23 |__ghc_worker 06:43:37 AM - 2848969 0.00 0.00 0.00 0.00 1 |__ghc_worker 06:43:37 AM - 2848970 0.00 0.00 0.00 0.00 19 |__ghc_worker 06:43:37 AM - 2850193 0.00 0.00 0.00 0.00 32 |__ghc_worker 06:43:37 AM - 2850196 0.00 0.00 0.00 0.00 34 |__ghc_worker 06:43:37 AM - 2850197 0.00 0.00 0.00 0.00 35 |__ghc_worker 06:43:37 AM - 2850198 0.00 0.00 0.00 0.00 30 |__ghc_worker 06:43:37 AM - 2861009 0.00 0.00 0.00 0.00 17 |__ghc_worker 06:43:37 AM - 2861010 0.00 0.00 0.00 0.00 19 |__ghc_worker 06:43:37 AM - 2862954 0.00 0.00 0.00 0.00 2 |__ghc_worker 06:43:37 AM - 2862956 0.00 0.00 0.00 0.00 26 |__ghc_worker }}} The sets of threads are changing on every suspend, unsuspend combination. This is really visible when running in gdb with -j40, gdb just spews threads getting spawned and killed: {{{ [Thread 0x7f0b767fc700 (LWP 2881933) exited] [New Thread 0x7f0b767fc700 (LWP 2881940)] [New Thread 0x7f0cc2cfd700 (LWP 2881941)] [Thread 0x7f0b76ffd700 (LWP 2881928) exited] [New Thread 0x7f0b7dffb700 (LWP 2881942)] [New Thread 0x7f0b76ffd700 (LWP 2881943)] [New Thread 0x7f0b7ffff700 (LWP 2881944)] [Thread 0x7f0b777fe700 (LWP 2881932) exited] [Thread 0x7f0b77fff700 (LWP 2881931) exited] [Thread 0x7f0b7d7fa700 (LWP 2881927) exited] [Thread 0x7f0b7f7fe700 (LWP 2881926) exited] [New Thread 0x7f0b7f7fe700 (LWP 2881945)] [New Thread 0x7f0b7d7fa700 (LWP 2881948)] [Thread 0x7f0cc2cfd700 (LWP 2881941) exited] [Thread 0x7f0b75ffb700 (LWP 2881938) exited] [New Thread 0x7f0cc2cfd700 (LWP 2881949)] [Thread 0x7f0b767fc700 (LWP 2881940) exited] [New Thread 0x7f0b767fc700 (LWP 2881950)] [New Thread 0x7f0b75ffb700 (LWP 2881951)] [New Thread 0x7f0b77fff700 (LWP 2881952)] [Thread 0x7f0b757fa700 (LWP 2881939) exited] [Thread 0x7f0b7d7fa700 (LWP 2881948) exited] [New Thread 0x7f0b757fa700 (LWP 2881953)] [Thread 0x7f0b7effd700 (LWP 2881936) exited] [Thread 0x7f0cc3cff700 (LWP 2881937) exited] [New Thread 0x7f0cc3cff700 (LWP 2881954)] [New Thread 0x7f0b7effd700 (LWP 2881955)] [New Thread 0x7f0b7d7fa700 (LWP 2881956)] [Thread 0x7f0b7dffb700 (LWP 2881942) exited] [New Thread 0x7f0b777fe700 (LWP 2881957)] [New Thread 0x7f0b7dffb700 (LWP 2881958)] [Thread 0x7f0b76ffd700 (LWP 2881943) exited] [New Thread 0x7f0b76ffd700 (LWP 2881959)] [Thread 0x7f0b7e7fc700 (LWP 2881935) exited] [Thread 0x7f0b7effd700 (LWP 2881955) exited] [New Thread 0x7f0b7effd700 (LWP 2881962)] [New Thread 0x7f0b7e7fc700 (LWP 2881963)] [Thread 0x7f0b7f7fe700 (LWP 2881945) exited] [New Thread 0x7f0b7f7fe700 (LWP 2881964)] [New Thread 0x7f0b7cff9700 (LWP 2881965)] [Thread 0x7f0b75ffb700 (LWP 2881951) exited] [Thread 0x7f0b7dffb700 (LWP 2881958) exited] [Thread 0x7f0cc3cff700 (LWP 2881954) exited] [New Thread 0x7f0cc3cff700 (LWP 2881967)] [New Thread 0x7f0b7dffb700 (LWP 2881968)] [Thread 0x7f0b777fe700 (LWP 2881957) exited] [Thread 0x7f0b757fa700 (LWP 2881953) exited] [Thread 0x7f0cc2cfd700 (LWP 2881949) exited] [Thread 0x7f0b7ffff700 (LWP 2881944) exited] [New Thread 0x7f0cc2cfd700 (LWP 2881969)] [Thread 0x7f0b7e7fc700 (LWP 2881963) exited] [Thread 0x7f0b767fc700 (LWP 2881950) exited] [New Thread 0x7f0b767fc700 (LWP 2881970)] [New Thread 0x7f0b7e7fc700 (LWP 2881971)] [Thread 0x7f0b77fff700 (LWP 2881952) exited] [New Thread 0x7f0b7ffff700 (LWP 2881972)] [New Thread 0x7f0b77fff700 (LWP 2881973)] [New Thread 0x7f0b757fa700 (LWP 2881974)] [Thread 0x7f0b7dffb700 (LWP 2881968) exited] [New Thread 0x7f0b7dffb700 (LWP 2881975)] [Thread 0x7f0cc2cfd700 (LWP 2881969) exited] [New Thread 0x7f0cc2cfd700 (LWP 2881976)] [Thread 0x7f0b76ffd700 (LWP 2881959) exited] [Thread 0x7f0b757fa700 (LWP 2881974) exited] [New Thread 0x7f0b76ffd700 (LWP 2881977)] [New Thread 0x7f0b757fa700 (LWP 2881978)] [New Thread 0x7f0b777fe700 (LWP 2881979)] [Thread 0x7f0b7effd700 (LWP 2881962) exited] [New Thread 0x7f0b7effd700 (LWP 2881980)] [Thread 0x7f0b7ffff700 (LWP 2881972) exited] [Thread 0x7f0b7e7fc700 (LWP 2881971) exited] [Thread 0x7f0b77fff700 (LWP 2881973) exited] [New Thread 0x7f0b77fff700 (LWP 2881981)] [Thread 0x7f0b7d7fa700 (LWP 2881956) exited] [New Thread 0x7f0b7d7fa700 (LWP 2881982)] [New Thread 0x7f0b7e7fc700 (LWP 2881983)] [Thread 0x7f0cc2cfd700 (LWP 2881976) exited] [New Thread 0x7f0cc2cfd700 (LWP 2881984)] [New Thread 0x7f0b7ffff700 (LWP 2881985)] [New Thread 0x7f0b75ffb700 (LWP 2881986)] [Thread 0x7f0b7dffb700 (LWP 2881975) exited] [New Thread 0x7f0b7dffb700 (LWP 2881987)] [New Thread 0x7f0b74ff9700 (LWP 2881988)] [Thread 0x7f0b777fe700 (LWP 2881979) exited] [Thread 0x7f0b7effd700 (LWP 2881980) exited] [Thread 0x7f0b76ffd700 (LWP 2881977) exited] }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10587> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10414: Buggy behavior with threaded runtime (-N1 working, -N2 getting into <<loop>>)
by GHC 07 Jul '15

07 Jul '15

#10414: Buggy behavior with threaded runtime (-N1 working, -N2 getting into <<loop>>) -------------------------------------+------------------------------------- Reporter: exio4 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect result Unknown/Multiple | at runtime Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Compiling the test case with: ghc -O2 -threaded -eventlog -rtsopts ghc-bug.hs Now, trying with some inputs and -N2 $ ./ghc-bug 7 +RTS -N2 => ghc-bug: <<loop>> $ ./ghc-bug 6 +RTS -N2 => ghc-bug: <<loop>> $ ./ghc-bug 5 +RTS -N2 => 3125 $ ./ghc-bug 5 +RTS -N2 ghc-bug: <<loop>> Reducing the number of capabilities to 1, it works for those inputs $ ./ghc-bug 7 +RTS -N1 As a side-note, the problem only happens randomly with small inputs (on my hardware), and it seems to go away with bigger inputs (the [http://lpaste.net/132564/ original testcase] felt a bit more deterministic, but I think the testcase in the ticket is good enough) I only tested this with GHC 7.8.4 (on Debian), but people on IRC reported the same behavior with GHC 7.10.1 on OS X and Debian Similar bug: [10218] (-fno-cse and -flate-dmd-anal didn't help with this) {{{#!hs import Control.Applicative import Control.Monad import Control.Parallel.Strategies import System.Environment newtype ParList a = ParList { unParList :: [a] } nil :: ParList a nil = ParList [] cons :: a -> ParList a -> ParList a cons x (ParList xs) = ParList (x:xs) instance Functor ParList where fmap = liftM instance Applicative ParList where pure = return (<*>) = ap instance Monad ParList where return = ParList . return {- v code that doesn't work -} (ParList xs) >>= f = ParList (withStrategy (parListChunk 8 rseq) (xs >>= unParList . f)) --(ParList xs) >>= f = ParList (concat (parMap rseq (unParList . f) xs)) {- ^ code that works -} type Pair = (Int, [Int]) loop' :: Pair -> ParList Pair loop' (size,qns) = go 1 where go n | n > size = nil | otherwise = cons (size, n:qns) (go (n+1)) worker :: Int -> Pair -> [Pair] worker n = unParList . go n where go 1 = loop' go n = loop' >=> go (n-1) main :: IO () main = do [n] <- (read <$>) <$> getArgs print $ length (worker n (n,[])) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10414> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 31

[GHC] #10575: "unsatisfied constraints" typo
by GHC 06 Jul '15

06 Jul '15

#10575: "unsatisfied constraints" typo -------------------------------------+------------------------------------- Reporter: ekmett | Owner: ekmett Type: bug | Status: new Priority: low | Milestone: Component: Core | Version: 7.10.1 Libraries | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- {{{ UnsatisfiedConstraints -> "unsatisified constraints" }}} should be {{{ UnsatisfiedConstraints -> "unsatisfied constraints" }}} in http://hackage.haskell.org/package/base-4.8.0.0/docs/src/GHC-IO- Exception.html#line-326 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10575> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10519: Can't put wildcard behind forall
by GHC 06 Jul '15

06 Jul '15

#10519: Can't put wildcard behind forall -------------------------------------+------------------------------------- Reporter: yongqli | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- This type signature doesn't compile: {{{ forall v. _ => Acc (Array DIM2 (v Double)) -> Acc (Array DIM2 (v Double)) -> Acc (A.Vector Double) -> Acc (Array DIM2 Double) }}} with "Invalid partial type signature ... An extra-constraints wildcard is only allowed at the top-level of the signature" I need the forall because I use `v` in the body of the function. This occurs with version 7.10.1.20150612 but not 7.10.1.20150519 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10519> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #9839: RTS options parser silently accepts invalid flags
by GHC 05 Jul '15

05 Jul '15

#9839: RTS options parser silently accepts invalid flags -------------------------------------+------------------------------------- Reporter: adamgundry | Owner: simonmar Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Incorrect Blocked By: | result at runtime Related Tickets: #4243 | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- RTS options that do not take arguments (such as `-T`) silently ignore anything that comes afterwards. For example, `+RTS -T,-s` or `+RTS -T-s` turns on collection of GC statistics (`-T`) but does not print out a summary (`-s`). Instead, this should produce an error message. Otherwise, users may mistakenly think that options have been applied. (This has just bitten us in a production system.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9839> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12