July 2013 - ghc-tickets

[GHC] #8050: add a required wrapper around plugin installers
by GHC 12 Jul '13

12 Jul '13

#8050: add a required wrapper around plugin installers ------------------------------------+------------------------------------- Reporter: nfrisby | Owner: Type: task | 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: | ------------------------------------+------------------------------------- While trying to expand [http://www.haskell.org/ghc/docs/7.6.1/html/users_guide/compiler- plugins.html#writing-compiler-plugins the CoreMonad.reinitializeGlobals mechanism], I proposed an alternative that SPJ noted could be more generally useful. The nub of the idea is to require plugins to apply a distinguished function to their installation function. Instead of defining the plugin as {{{ module APlugin (plugin) where import GhcPlugins plugin :: Plugin plugin = defaultPlugin {installCoreToDos = install} install :: [CommandLineOption] -> [CoreToDo] -> CoreM [CoreToDo] install = … }}} plugins would be defined as {{{ module APlugin (plugin) where import GhcPlugins plugin :: Plugin plugin = defaultPlugin {installCoreToDos = mkPluginInstaller install} install :: [CommandLineOption] -> [CoreToDo] -> CoreM [CoreToDo] install = install = … }}} The new function `mkPluginInstaller` provides a hook for GHC developers to process the plugin, hidden from the plugin author. For example, it could encapsulate the current `reinitializeGlobals` mechanism. I'm not sure if using an abstract type to enforce that this function is called is necessary, but it's an option. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8050> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7116: Missing optimisation: strength reduction of floating-point multiplication
by GHC 12 Jul '13

12 Jul '13

#7116: Missing optimisation: strength reduction of floating-point multiplication --------------------------------------------+------------------------------ Reporter: simonmar | Owner: pcapriotti Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime performance bug | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by jstolarek): Provded patch rewrites 2 * x for Int and Word to x + x, which kills the optimisation done at the later stage of the pipeline in !CmmOpt: turning multiplications and divisons by powers of two into shifts. I wonder if it makes sense to move mentioned Cmm optimisation to !PrelRules, so that shifts are introduced at the Core level. Having all similar optimisations done in one place would be more consistent. Or am I missing something? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7116#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8021: Multiple constraint classes - the alternative to superclass
by GHC 11 Jul '13

11 Jul '13

#8021: Multiple constraint classes - the alternative to superclass -------------------------------------+------------------------------------ Reporter: wvv | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by carter): I'm confused by the proposal, how would you formally change the type system, type checker, and type inference? Could you also define the notation / meaning in your examples further? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8021#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7957: -ddump-minimal-imports should honour -outputdir
by GHC 11 Jul '13

11 Jul '13

#7957: -ddump-minimal-imports should honour -outputdir -------------------------------------+------------------------------------ Reporter: hvr | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.0.4 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by dsf): I suppose the same mechanism that decides where to put .hi and .o files could be used. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7957#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8053: unification error with ghc head
by GHC 11 Jul '13

11 Jul '13

#8053: unification error with ghc head -------------------------------------------+------------------------------- Reporter: carter | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.7 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- Ben Gamari is reporting unification errors when he tries to build llvm- general using current GHC HEAD (7.7) llvm-general currently builds with 7.4 and 7.6, so unless theres substantial changes to how higher rank types are checked, this sounds like it may be a type checker bug in HEAD. https://github.com/bscarlet/llvm-general/issues/54 is relevant bug report, i'll include a copy of the information in a comment on this ticket -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8053> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7427: Proposal: Add setEnv/unsetEnv to System.Environment
by GHC 11 Jul '13

11 Jul '13

#7427: Proposal: Add setEnv/unsetEnv to System.Environment -------------------------------------+------------------------------------ Reporter: SimonHengel | Owner: Type: feature request | Status: closed Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.6.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by bgamari): I've updated the setenv package to re-export these symbols here, https://github.com/sol/setenv/pull/2 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7427#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4479: Add Type Directed Name Resolution
by GHC 11 Jul '13

11 Jul '13

#4479: Add Type Directed Name Resolution --------------------------------------------+------------------------------ Reporter: gidyn | Owner: Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 7.5 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 adamgundry): I don't have anything as organised as a blog, but I'm keeping the [wiki:Records/OverloadedRecordFields/Plan page that Simon linked to] updated with the design and implementation notes, and discussion of the proposal is happening on the glasgow-haskell-users list. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4479#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #703: all binaries built by ghc have executable stacks
by GHC 11 Jul '13

11 Jul '13

#703: all binaries built by ghc have executable stacks ----------------------------+---------------------------------------------- Reporter: duncan | Owner: ezyang Type: merge | Status: merge Priority: normal | Milestone: 6.6.1 Component: | Version: 7.6.3 Compiler (NCG) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: Linux | Difficulty: Moderate (less than a day) Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: N/A | Blocking: | ----------------------------+---------------------------------------------- Comment (by juhpetersen): Additional note: this seems not to affect ghc-7.4.1 (Fedora 18) which surprised me. So so far only seen on ghc-7.4.2 and ghc-7.6.3. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/703#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4479: Add Type Directed Name Resolution
by GHC 11 Jul '13

11 Jul '13

#4479: Add Type Directed Name Resolution --------------------------------------------+------------------------------ Reporter: gidyn | Owner: Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 7.5 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 guest): Everyone, That's fantastic that the record issue is being worked on as a GSoC project! Adam, Thanks for doing this! How is it going? Do you have a blog with your progress or something for us to follow? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4479#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #703: all binaries built by ghc have executable stacks
by GHC 11 Jul '13

11 Jul '13

#703: all binaries built by ghc have executable stacks ----------------------------+---------------------------------------------- Reporter: duncan | Owner: ezyang Type: merge | Status: merge Priority: normal | Milestone: 6.6.1 Component: | Version: 7.6.3 Compiler (NCG) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: Linux | Difficulty: Moderate (less than a day) Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: N/A | Blocking: | ----------------------------+---------------------------------------------- Comment (by juhpetersen): Hi Edward, thanks I tried that and indeed .note.GNU-stack is present and not set executable (with unpatched ghc-7.4.2 I see that the ghc*_1.o file has .note.GNU-stack set executable so your patch seems to be working). (I noticed that HSbase*.o has executable stack set but I guess that should not affect this, right?) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/703#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0