March 2015 - ghc-tickets

Re: [GHC] #4243: Make a proper options parser for the RTS
by GHC 22 Mar '15

22 Mar '15

#4243: Make a proper options parser for the RTS -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: task | Status: new Priority: normal | Milestone: 7.12.1 Component: Runtime System | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #9839 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomie): Make sure that whatever you do also works, and behaves the same, on Windows, Mac, Solaris, FreeBSD. At least in theory. Is getopt.h posix only, or is avaible the way ghc is built on Windows (I don't know). configure.ac would also need updating? I noticed Python keeps their own copy of getopt, would that be an option? From https://hg.python.org/cpython/rev/a826a46bae54: "Move our own getopt() implementation to _PyOS_GetOpt(), and use it regardless of whether the system getopt() does what we want. This avoids the hassle with prototypes and externs, and the check to see if the system getopt() does what we want." -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4243#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10151: Compilation failed on mac, ghc: panic! (the 'impossible' happened)
by GHC 22 Mar '15

22 Mar '15

#10151: Compilation failed on mac, ghc: panic! (the 'impossible' happened) -------------------------------------+------------------------------------- Reporter: jaseemabid | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: MacOS X Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- I was experimenting in ghci and this happened. {{{ ghc: panic! (the 'impossible' happened) (GHC version 7.8.3 for x86_64-apple-darwin): Loading temp shared object failed: dlopen(/var/folders/mj/k7lrnmkn13v753mbj7q6fmy00000gn/T/ghc32761_0/ghc32761_77.dylib, 9): Symbol not found: __hpc_tickboxes_lisperzm0zi1zi0zi0_LisperziCore_hpc Referenced from: /var/folders/mj/k7lrnmkn13v753mbj7q6fmy00000gn/T/ghc32761_0/ghc32761_77.dylib Expected in: flat namespace in /var/folders/mj/k7lrnmkn13v753mbj7q6fmy00000gn/T/ghc32761_0/ghc32761_77.dylib }}} Complete source code of the project that caused this: https://github.com/jaseemabid/lisper ghc version: 7.8.3 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10151> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #4243: Make a proper options parser for the RTS
by GHC 22 Mar '15

22 Mar '15

#4243: Make a proper options parser for the RTS -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: task | Status: new Priority: normal | Milestone: 7.12.1 Component: Runtime System | Version: 6.13 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #9839 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by carlostome): Maybe we should change {{{rts/RtsFlags.c}}} to make use of <getopt.h> because now the option parser is a bit scaring. I think I can do it myself. Any suggestions? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4243#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10176: Invalid core generated with GHC 7.10 RC3
by GHC 22 Mar '15

22 Mar '15

#10176: Invalid core generated with GHC 7.10 RC3 -------------------------------------+------------------------------------- Reporter: | Owner: NeilMitchell | Status: new Type: bug | Milestone: Priority: high | Version: 7.8.4 Component: Compiler | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Using the Shake repo (https://github.com/ndmitchell/shake.git) at commit d7fa04 and GHC 7.10 RC3 or GHC HEAD, if I {{cabal test}} I get the error: {{{ ## BUILD oracle --quiet *str-int TESTS FAILED shake-test: Expected an exception but succeeded }}} Discussion about this issue can be found on the mailing list: http://osdir.com/ml/general/2015-03/msg25847.html GHC generates the Core: {{{ case (\_ -> error "here") of {} }}} This is invalid GHC Core. I intend to track down a minimal example shortly. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10176> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 25

[GHC] #9261: -S prints incorrect number of bound tasks
by GHC 22 Mar '15

22 Mar '15

#9261: -S prints incorrect number of bound tasks ------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | 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: | ------------------------------------+------------------------------------- In `Stats.c` we have: {{{ statsPrintf(" TASKS: %d (%d bound, %d peak workers (%d total), using -N%d)\n", taskCount, taskCount - workerCount, peakWorkerCount, workerCount, n_capabilities); }}} but I think `taskCount - workerCount` must be wrong, because `taskCount` is the _current_ number of tasks, while `workerAcount` is the _total_ number of workers (accumulating). I think it should be: {{{ statsPrintf(" TASKS: %d (%d bound, %d peak workers (%d total), using -N%d)\n", taskCount, taskCount - currentWorkerCount, peakWorkerCount, workerCount, n_capabilities); }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9261> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

Re: [GHC] #3283: Selective disabling of unused bind warnings
by GHC 22 Mar '15

22 Mar '15

#3283: Selective disabling of unused bind warnings -------------------------------------+------------------------------------- Reporter: ajd | Owner: Type: feature request | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #17 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * keywords: newcomer => Comment: Replying to [comment:5 jstolarek]: > Now that #17 is closed can we consider this a duplicate? This ticket is about adding a `-fno-warn-unused-fields` flag. But since nomeata wasn't sure how useful this feature would be, nobody has looked at it in 5 years, and #17 is indeed implemented, I'm at least removing the newcomer keyword. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3283#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8379: sync-all broken when using the GitHub mirror
by GHC 21 Mar '15

21 Mar '15

#8379: sync-all broken when using the GitHub mirror ------------------------------------+------------------------------------- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Making a fresh checkout using the GitHub mirror: {{{ $ git clone git@github.com:tibbe/ghc.git $ ./sync-all get == running git config core.ignorecase true == running git clone git@github.com:tibbe/ghc-tarballs.git ghc-tarballs Cloning into 'ghc-tarballs'... ERROR: Repository not found. fatal: The remote end hung up unexpectedly git failed: 32768 at ./sync-all line 178. == Checking for old haddock repo == Checking for old binary repo == Checking for old mtl repo == Checking for old Cabal repo == Checking for old time from tarball ============================ ATTENTION! You have an old time package in your GHC tree! Please remove it (e.g. "rm -r libraries/time"), and then run "./sync-all get" to get the new repository. ============================ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8379> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13

[GHC] #8150: Foreign export requires redundant type signature
by GHC 19 Mar '15

19 Mar '15

#8150: Foreign export requires redundant type signature -------------------------+------------------------------------------------- Reporter: | Owner: evincarofautumn | Status: new Type: bug | Milestone: Priority: | Version: 7.6.3 normal | Operating System: Unknown/Multiple Component: | Type of failure: Incorrect warning at Compiler | compile-time Keywords: | Test Case: Architecture: | Blocking: Unknown/Multiple | Difficulty: | Unknown | Blocked By: | Related Tickets: | -------------------------+------------------------------------------------- With a source file such as: {{{ module FFITest where foreign export ccall "function" function :: IO () function :: IO () function = putStrLn "Hello, world!" }}} The second `function :: IO ()` signature is required to satisfy `-fwarn- missing-signatures`, even though a signature is already present in the `foreign export` declaration, and the types are required to be the same. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8150> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #10171: runghc has problem when the argument list is too big
by GHC 19 Mar '15

19 Mar '15

#10171: runghc has problem when the argument list is too big -------------------------------------+------------------------------------- Reporter: redneb | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: POSIX Architecture: | Type of failure: Runtime crash Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The way `runghc` works is by calling `ghc` with some extra arguments. These extra arguments cause the `argv` passed to `ghc` to be larger than the original one. This can cause the size of `argv` to exceed the maximum allowed. This might seem like a minor issue, but it can confuse several unix tools that rely on exact calculations on the size of `argv`, such as `xargs` or `find` with the `-exec` option. To demonstrate the problem, consider the following the program (call it `print_size.hs`): {{{#!hs import System.Environment import System.Posix main = getArgs >>= mapM_ printSize where printSize file = do st <- getSymbolicLinkStatus file putStrLn $ show (fileSize st) ++ " " ++ file }}} The program interpreters its `argv` as a list of files and prints their sizes. Now suppose that you want to run the program without compiling it (i.e. by interpreting it) on a specific set files, as returned by `find`. For example, consider something like that: {{{ find / -exec runhaskell print_size.hs {} + }}} If you run this, you will get the following error (multiple times): {{{ runghc: /usr/bin/ghc: rawSystem: runInteractiveProcess: exec: resource exhausted (Argument list too long) }}} The problem here is that the `-exec` option of `find`, when used with the `+` switch, works as follows: it starts collecting the list of found files and just before the list exceeds the maximum allowed size for `argv` it runs the specified program on that list (it works this way in order to minimize the number of times the program is ran). Of course this is problematic because `runghc` will then increase the size of `argv` and because of that the call to `ghc` might fail. The same thing happens if you try to run the following as well: {{{ find / -print0 | xargs -0 runhaskell print_size.hs }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10171> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10011: The Data instance for Ratio violates internal invariants.
by GHC 19 Mar '15

19 Mar '15

#10011: The Data instance for Ratio violates internal invariants. -------------------------------------+------------------------------------- Reporter: ekmett | Owner: ekmett Type: bug | Status: new Priority: normal | Milestone: Component: Core | Version: 7.10.1-rc1 Libraries | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- I found this when Simon was cleaning up unused dependencies in {{{ https://phabricator.haskell.org/rGHCc409b6f30373535b6eed92e55d4695688d32be9… }}} The Data instance for Ratio just uses the raw `(:%)` constructor and doesn't check that the result is reduced to normal form. It strikes me that the fix is to add back the Integral constraint on the Data instance and to use `(%)` rather than `(:%)` in the `gfoldl` and `gunfold` code. This restores the invariant and matches the behavior of "virtual constructors" we've used to patch up such problems elsewhere. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10011> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 17