- ghc-tickets - Haskell.org

Re: [GHC] #5188: Runtime error when allocating lots of memory
by GHC 04 Sep '13

04 Sep '13

#5188: Runtime error when allocating lots of memory ---------------------------------+--------------------------- Reporter: knyblad | Owner: Type: bug | Status: patch Priority: low | Milestone: 7.6.2 Component: GHCi | Version: 6.12.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86 Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ---------------------------------+--------------------------- Comment (by simonmar): I'm fairly sure that casting -1 to an unsigned type (W_) is undefined in C, because the value is outside the range of the type. Why not use `HS_WORD_MAX`? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5188#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4983: Warning about redundant import is wrong when hiding identifiers in order to avoid export ambiguities
by GHC 04 Sep '13

04 Sep '13

#4983: Warning about redundant import is wrong when hiding identifiers in order to avoid export ambiguities -------------------------------------------------+------------------------- Reporter: Lemming | Owner: Type: bug | Status: Priority: normal | closed Component: Compiler | Milestone: Resolution: wontfix | Version: 7.0.1 Operating System: Unknown/Multiple | Keywords: Type of failure: Incorrect warning at | Architecture: compile-time | Unknown/Multiple Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by simonpj): What is wrong with saying {{{ import Prelude () }}} You say that "GHC is to blame here" but the warning is quite correct: you are using nothing from Prelude, right? Specifically, what behaviour would you actually like? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4983#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7602: Threaded RTS performing badly on recent OS X (10.8?)
by GHC 04 Sep '13

04 Sep '13

#7602: Threaded RTS performing badly on recent OS X (10.8?) -----------------------------------+---------------------------------- Reporter: simonmar | Owner: thoughtpolice Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Runtime System | Version: 7.7 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: 7678 Blocking: | Related Tickets: -----------------------------------+---------------------------------- Changes (by thoughtpolice): * priority: high => highest Comment: (NB: All of the Clang annoyingness is fixed now.) I'm going to go ahead and bump this to highest priority, since it should really be fixed. I do have a patch that works, but it needs to be cleaned up. Luckily I have a better OS X build machine now. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7602#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7730: :info and polykinds
by GHC 03 Sep '13

03 Sep '13

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by monoidal): By the way there's the same problem with `:kind!` command {{{ Prelude> :kind! A A :: k -> k1 -> * = forall (k :: BOX) (k :: BOX). A k k }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8158: Replace IO manager's IntMap with a mutable hash table
by GHC 03 Sep '13

03 Sep '13

#8158: Replace IO manager's IntMap with a mutable hash table -------------------------------------------+------------------------------- Reporter: bos | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.7 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 hour) | Type of failure: Other Blocked By: | Test Case: Related Tickets: | Blocking: -------------------------------------------+------------------------------- I've written a patch that replaces the immutable !IntMap used by GHC.Event with a mutable hashtable, !IntTable. There's a standalone version of the new data structure, complete with !QuickCheck tests and benchmarks, [[https://github.com/bos/inttable|available on github]]. It's about 15x faster than !IntMap, and substantially simpler. In practice, this translates to a small but measurable improvement in throughput (and presumably latency). I see a 3% to 10% bump in requests handled per second by the tiny [[http://hackage.haskell.org/package/acme- http|acme-http http server]] when benchmarked using the [[https://github.com/lighttpd/weighttp|weighttp load tester]]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8158> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 26

Re: [GHC] #5188: Runtime error when allocating lots of memory
by GHC 03 Sep '13

03 Sep '13

#5188: Runtime error when allocating lots of memory ---------------------------------+--------------------------- Reporter: knyblad | Owner: Type: bug | Status: patch Priority: low | Milestone: 7.6.2 Component: GHCi | Version: 6.12.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86 Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ---------------------------------+--------------------------- Comment (by rwbarton): Right, the issue is that on amd64/Linux, `sizeof(nat)` is 4 and `sizeof(W_)` is 8, so overflow can never occur, which gcc warns about, and validate builds with `-Wextra -Werror`. Annoying. Austin and I discussed this on IRC and here are a couple possible workarounds we came up with. 1. Wrap the test in an `#if` that tests `sizeof(nat)` and `sizeof(W_)` to determine whether overflow is possible. Portable, but fiddly. 2. Disable gcc warnings using `#pragma GCC diagnostic` pragmas around the test, themselves conditionalized to gcc. Less fiddly, but GHC doesn't currently use this method to disable any warnings and I somewhat hesitate to be the first. I also haven't tested that this really works. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5188#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3389: CPP strips out C-style comments
by GHC 03 Sep '13

03 Sep '13

#3389: CPP strips out C-style comments -------------------------------------+------------------------------------ Reporter: nominolo | Owner: igloo Type: feature request | Status: closed Priority: normal | Milestone: 7.0.1 Component: Driver | Version: 6.10.2 Resolution: wontfix | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: T3389 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by int-e): T3389 currently fails for me (x86_64 Debian Linux): {{{ =====> T3389(normal) 956 of 3773 [0, 1, 0] cd ./driver && '/space/home/bf3/src-hs/ghc/bindisttest/install dir/bin/ghc' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no- user-package-db -rtsopts -fno-ghci-history -o T3389 T3389.hs >T3389.comp.stderr 2>&1 Compile failed (status 256) errors were: [1 of 1] Compiling Main ( T3389.hs, T3389.o ) /usr/include/stdc-predef.h:1:1: parse error on input `/*' *** unexpected failure for T3389(normal) }}} Apparently {{{gcc -E}}} now automatically includes the file {{{/usr/include/stdc-predef.h}}}. There is a mailing list thread at http://www.eglibc.org/archives/patches/msg01262.html which suggests that passing {{{-ffreestanding}}} will avoid that. The workaround would then be {{{ {-# OPTIONS_GHC -optP -C -optP -ffreestanding #-} }}} Versions: {{{ > gcc --version gcc (Debian 4.8.1-9) 4.8.1 > /lib/x86_64-linux-gnu/libc.so.6 GNU C Library (Debian EGLIBC 2.17-92+b1) stable release version 2.17, by Roland McGrath et al. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3389#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #910: --make should have a -j flag for parallel building
by GHC 03 Sep '13

03 Sep '13

#910: --make should have a -j flag for parallel building -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: patch Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.4.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: N/A | Blocked By: 8184 Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by refold): Replying to [comment:22 parcs]: Is there some way to detect whether GHC has support for parallel `--make`? E.g. using `ghc --info`? I'd prefer to use that instead of conditioning on the version. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/910#comment:44> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8193: document :kind! in ghci built-in help
by GHC 03 Sep '13

03 Sep '13

#8193: document :kind! in ghci built-in help ------------------------------------+-------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.4.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Documentation bug Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+-------------------------------------- Patch attached. I have the wording as: {{{ :kind[!] <type> show the kind of <type> (!: also show the normalised type) }}} could use some tweaking perhaps. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8193> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #4983: Warning about redundant import is wrong when hiding identifiers in order to avoid export ambiguities
by GHC 03 Sep '13

03 Sep '13

#4983: Warning about redundant import is wrong when hiding identifiers in order to avoid export ambiguities -------------------------------------------------+------------------------- Reporter: Lemming | Owner: Type: bug | Status: Priority: normal | closed Component: Compiler | Milestone: Resolution: wontfix | Version: 7.0.1 Operating System: Unknown/Multiple | Keywords: Type of failure: Incorrect warning at | Architecture: compile-time | Unknown/Multiple Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by hvr): Curiously, GHC 7.0.4 warns, GHC 7.4.3 doesn't warn, but current GHC HEAD emits the warning again. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4983#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0