October 2013 - ghc-tickets

Re: [GHC] #3658: Dynamically link GHCi (and use system linker) on platforms that support it
by GHC 05 Oct '13

05 Oct '13

#3658: Dynamically link GHCi (and use system linker) on platforms that support it -------------------------------------------------+------------------------- Reporter: simonmar | Owner: Type: task | thoughtpolice Priority: high | Status: new Component: GHCi | Milestone: 7.8.1 Resolution: | Version: Operating System: Unknown/Multiple | 6.10.4 Type of failure: None/Unknown | Keywords: Test Case: | dynamic link Blocking: 781, 1883, 2283, 3242, 3333, | Architecture: 3372, 3654, 4244, 5062, 5197, 6107, 7056, | Unknown/Multiple 7072, 7097, 7103, 7134, 7316, 7329, 7389, | Difficulty: 7475, 7687 | Unknown | Blocked By: 5987 | Related Tickets: -------------------------------------------------+------------------------- Changes (by thoughtpolice): * cc: hvr (added) * owner: => thoughtpolice -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3658#comment:44> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2725: Remove Hack in compiler/nativeGen/MachCodeGen.hs
by GHC 05 Oct '13

05 Oct '13

#2725: Remove Hack in compiler/nativeGen/MachCodeGen.hs -------------------------------------+------------------------------------ Reporter: clemens | Owner: thoughtpolice Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler (NCG) | Version: 6.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by thoughtpolice): * cc: simonmar (added) * owner: clemens => thoughtpolice -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2725#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32
by GHC 05 Oct '13

05 Oct '13

#7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32 -------------------------------+---------------------------------- Reporter: cetinsert | Owner: thoughtpolice Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 7.6.1-rc1 Resolution: | Keywords: R_X86_64_PC32 Operating System: Windows | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: | Related Tickets: -------------------------------+---------------------------------- Changes (by thoughtpolice): * cc: hvr (added) * owner: => thoughtpolice -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7134#comment:30> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5987: Too many symbols in ghc package DLL
by GHC 05 Oct '13

05 Oct '13

#5987: Too many symbols in ghc package DLL -------------------------------------+------------------------------------ Reporter: igloo | Owner: thoughtpolice Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.5 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 3658 | Related Tickets: -------------------------------------+------------------------------------ Changes (by thoughtpolice): * owner: => thoughtpolice -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5987#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8410: NCG sometimes produces code like `addl $0 ...`
by GHC 05 Oct '13

05 Oct '13

#8410: NCG sometimes produces code like `addl $0 ...` ------------------------------------+------------------------------------- Reporter: schyler | Owner: Type: bug | 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: | ------------------------------------+------------------------------------- See the haskell and ASM output; https://gist.github.com/kvanberendonck/6837792 Search for `addl $0` in your browser and you'll see a couple occurrences. This is a useless instruction. It would be a minor optimization to not emit these. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8410> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #4385: Type-level natural numbers
by GHC 05 Oct '13

05 Oct '13

#4385: Type-level natural numbers --------------------------------------------+------------------------------ Reporter: diatchki | Owner: diatchki Type: feature request | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Changes (by nsch): * cc: mail@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4385#comment:64> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8173: GHC uses nub
by GHC 05 Oct '13

05 Oct '13

#8173: GHC uses nub -------------------------------------+------------------------------------- Reporter: nh2 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Compile-time Difficulty: Moderate (less | performance bug than a day) | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- nub is O(n²). I bet all usages have Ord instances. https://github.com/nh2/haskell-ordnub -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8173> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

2 18

[GHC] #8409: nofib-analyse
by GHC 05 Oct '13

05 Oct '13

#8409: nofib-analyse -------------------------------------------+------------------------------- Reporter: leroux | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: NoFib benchmark suite | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 hour) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- In response to comment:13:ticket:8173: > Did you look at the amount of heap the compiler allocated? It's easily discoverable (eg use +RTS -s, and it's in the nofib logs too, though I don't think nofib-analyse looks for it. (You could fix nofib-analyse so that it does.) Teach nofib to include allocation info (from module compilation time). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8409> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7867: Allow template-haskell to communicate with itself between compilation units through the interface file
by GHC 05 Oct '13

05 Oct '13

#7867: Allow template-haskell to communicate with itself between compilation units through the interface file --------------------------+------------------------------------------------ Reporter: errge | Owner: Type: | Status: patch feature request | Milestone: 7.8.1 Priority: | Version: 7.6.3 normal | Keywords: Component: | Architecture: Unknown/Multiple Template Haskell | Difficulty: Easy (less than 1 hour) Resolution: | Blocked By: 3725, 8337, 8340, 8397, 8398 Operating System: | Related Tickets: Unknown/Multiple | Type of failure: | None/Unknown | Test Case: | Blocking: | --------------------------+------------------------------------------------ Comment (by errge): Simon, first of all thanks for your reply. I'll do the wikipage, but in the meantime I'd like to clear up some confusion by answering your specific questions and giving further pointers. * What you miss is that `tcp_connect_timeout` is useful without being exported, because it can be used INSIDE the TCP module. Namely in the `connectToTCP :: Host -> Port -> IO ()` method. That method can simply refer to the current flag value by `flags_tcp_connect_timeout`. The user doesn't have to implement any passing of the value from Main through WGet to TCP, like in other getopt libraries. Please read these for further clarification: 1. http://www.haskell.org/pipermail/haskell- cafe/2012-April/099641.html 2. http://blog.risko.hu/2012/04/ann-hflags-0.html 3. https://github.com/errge/hflags/blob/master/examples/package/test/main.hs, https://github.com/errge/hflags/blob/master/examples/package/TupMain.hs, https://github.com/errge/hflags/blob/master/examples/package/Tup.hs * You're right about qReifyModules, that's maybe the most shaky part of this. I actually don't like the current way how this is handled inside GHC, but I'm quite sure that I don't see enough to judge this. Currently GHC slurps up interface files and then uses them all while compiling different source files with --make. This results in the ill-definedness you are talking about, but this is unfortunately already visible via the TH API, in #8408 I show that with a concrete example. Let's discuss this in #8398, maybe we can come up with a better definition for module listing, I'll give it a try over the weekend to implement a better patch. I'm all in for implementing this feature slowly and cleanly for a future release if not for 7.8, right about that. My end goal is to have the right and general compiler features, so the maintenance burden is minimal on me too regarding hflags and new GHC versions :) On the other hand, I'd really like to have a working hflags as soon as I can: by using dirty tricks internally inside hflags (like communicating via instances instead of annotations). The only missing puzzle piece that I desperatly need support for from the compiler is to make a module orphan from TH. Currently I can do this by generating a fake orphan rule, but that would generate a warning for the user when compiling with -Wall, I'd like to have a warningless way. Can we maybe come up with a design/solution just for #8337 that is small and easy enough to be surely not messed up or regretted later? I still prefer option 1, stating that module anntations make a module orphan seems pretty harmless, but useful from my point of view. The patch would be also some clean and concise. I'll report back here when the more general summarizing wikipage that you asked for is ready and then we can continue to work on the more difficult changes for annotation reification and module listing in a more principled way. Can the already merged patches for #3725 and #8340 stay, please? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7867#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8260: Parallel build behaves erratic under Windows
by GHC 05 Oct '13

05 Oct '13

#8260: Parallel build behaves erratic under Windows ----------------------------------+---------------------------------------- Reporter: schyler | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.7 Keywords: | Operating System: Windows Architecture: | Type of failure: Building GHC failed Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | ----------------------------------+---------------------------------------- Under Windows, `make -j4` will freeze randomly all through the build system (every ~ 1-2 minutes). The only way to get it to resume it is to kill the make process and restart it. It sometimes even freezes on things like `rm` or `happy`. This makes building GHC take an unbearably long time. Tested on latest MinGW. {{{ GNU Make 3.81 Copyright (C) 2006 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. This program built for i686-pc-msys }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8260> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2