- ghc-tickets - Haskell.org

Re: [GHC] #4937: Remove indirections caused by sum types, such as Maybe
by GHC 29 Nov '14

29 Nov '14

#4937: Remove indirections caused by sum types, such as Maybe -------------------------------------+------------------------------------- Reporter: tibbe | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.0.1 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Runtime | Related Tickets: performance bug | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * difficulty: => Unknown * failure: None/Unknown => Runtime performance bug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4937#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8323: explore ways to possibly use more tag bits in x86_64 pointers
by GHC 29 Nov '14

29 Nov '14

#8323: explore ways to possibly use more tag bits in x86_64 pointers ------------------------------------+------------------------------------- Reporter: carter | 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: | ------------------------------------+------------------------------------- on x86_64, pointers only use 48 bits! currently we use 3bits for tagging / arity etc info on x86_64, we should explore more uses! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8323> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #4938: Core2 CPU not detected correctly
by GHC 29 Nov '14

29 Nov '14

#4938: Core2 CPU not detected correctly -------------------------------------+------------------------------------- Reporter: altaic | Owner: Type: bug | Status: infoneeded Priority: low | Milestone: 7.10.1 Component: Compiler | Version: 7.1 Resolution: | Keywords: Operating System: MacOS X | Architecture: Unknown/Multiple Type of failure: Building | Difficulty: Unknown GHC failed | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => infoneeded * difficulty: => Unknown * os: Unknown/Multiple => MacOS X Comment: Is this still a problem? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4938#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5941: Add compilation stage plugins
by GHC 29 Nov '14

29 Nov '14

#5941: Add compilation stage plugins -------------------------------------+------------------------------------- Reporter: tibbe | Owner: Type: feature | Status: infoneeded request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by rodlogic): Now, from a user of this feature (or such feature), I would like to be able to do the following. Assuming I have, for example, two modules: {{{#!hs module A where import B main = sayHello "Joe" }}} {{{#!hs module B where sayHello :: String -> IO () sayHello = putStrLn }}} I would like to create a plugin, here named {{{DependenciesPlugin}}}, that is invoked with: {{{#!sh ghc -fplugin=DependenciesPlugin --make A.hs }}} This plugin would be called once to initialize itself, which in this case means creating a {{{A.dot}}} file: {{{ graph ModuleADependencies { }}} And once to terminate itself so that the {{{A.dot}}} file can be closed: {{{ } }}} In between the initialization and termination, the plugin would be called for each module to process the TypecheckedModule and generate a subgraph and the function dependencies: {{{ subgraph ModuleA { ModuleA.main [label="main"] } ModuleA.main -> ModuleB.sayHello subgraph ModuleB { ModuleB.sayHello [label="sayHello"] } }}} And command line options could be provided to tailor the DOT file generation (just module dependencies, only function dependencies, both, only dependencies from a specific functions, etc). Another option is to also take into account the packages these modules come from. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5941#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4955: increase error message detail for module lookups failure due to hi references
by GHC 29 Nov '14

29 Nov '14

#4955: increase error message detail for module lookups failure due to hi references -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: low | Version: 6.12.1 Component: Package | Keywords: system | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * difficulty: => Unknown * component: Compiler => Package system * type: bug => feature request -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4955#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5941: Add compilation stage plugins
by GHC 29 Nov '14

29 Nov '14

#5941: Add compilation stage plugins -------------------------------------+------------------------------------- Reporter: tibbe | Owner: Type: feature | Status: infoneeded request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by rodlogic): I find this a desirable feature, so I took a quick look. It seems that tcPlugin is currently focused on a pluggable constraint solver only: {{{#!hs data Plugin = Plugin { installCoreToDos :: [CommandLineOption] -> [CoreToDo] -> CoreM [CoreToDo] -- ^ Modify the Core pipeline that will be used for compilation. -- This is called as the Core pipeline is built for every module -- being compiled, and plugins get the opportunity to modify the -- pipeline in a nondeterministic order. , tcPlugin :: [CommandLineOption] -> Maybe TcPlugin -- ^ An optional typechecker plugin, which may modify the -- behaviour of the constraint solver. } data TcPlugin = forall s. TcPlugin { tcPluginInit :: TcPluginM s -- ^ Initialize plugin, when entering type-checker. , tcPluginSolve :: s -> TcPluginSolver -- ^ Solve some constraints. -- TODO: WRITE MORE DETAILS ON HOW THIS WORKS. , tcPluginStop :: s -> TcPluginM () -- ^ Clean up after the plugin, when exiting the type-checker. } type TcPluginSolver = [Ct] -- given -> [Ct] -- derived -> [Ct] -- wanted -> TcPluginM TcPluginResult }}} At this point it seems that there are two main venues: 1. extend TcPlugin to add a hook for processing the final type-checked module (and widening the scope of {{{tcPluginInit}}} and {{{tcPluginSolve}}}), or 2. Add another plugin for AST hooks (ParsedModule, RenamedModule, and TypecheckedModule). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5941#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4960: Better inlining test in CoreUnfold
by GHC 29 Nov '14

29 Nov '14

#4960: Better inlining test in CoreUnfold -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: task | Status: new Priority: low | Milestone: 7.10.1 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Runtime | Blocked By: performance bug | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * difficulty: => Unknown * type: bug => task * failure: None/Unknown => Runtime performance bug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4960#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5051: Typechecker behaviour change
by GHC 29 Nov '14

29 Nov '14

#5051: Typechecker behaviour change -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 7.0.2 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | typecheck/should_compile/T5051 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * component: Compiler => Compiler (Type checker) * milestone: 7.10.1 => ⊥ Comment: Replying to [comment:8 simonpj]: > As I say in comment:5, I think this is the right behaviour, so I don't propose to fix it at all. Setting milestone bottom. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5051#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5073: Add blockST for nested ST scopes
by GHC 29 Nov '14

29 Nov '14

#5073: Add blockST for nested ST scopes -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: low | Version: 7.0.3 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * difficulty: => Unknown * type: bug => feature request -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5073#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5075: CPR optimisation for sum types if only one constructor is used
by GHC 29 Nov '14

29 Nov '14

#5075: CPR optimisation for sum types if only one constructor is used -------------------------------------+------------------------------------- Reporter: | Owner: simonpj batterseapower | Status: new Type: feature | Milestone: 7.10.1 request | Version: 7.0.3 Priority: normal | Keywords: Component: Compiler | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: Runtime | performance bug | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: None/Unknown => Runtime performance bug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5075#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0