November 2014 - ghc-tickets

Re: [GHC] #5916: runST isn't free
by GHC 26 Nov '14

26 Nov '14

#5916: runST isn't free -------------------------------------+------------------------------------- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.4.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): * failure: None/Unknown => Runtime performance bug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5916#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5928: INLINABLE fails to specialize in presence of simple wrapper
by GHC 26 Nov '14

26 Nov '14

#5928: INLINABLE fails to specialize in presence of simple wrapper -------------------------------------+------------------------------------- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.4.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): * failure: None/Unknown => Runtime performance bug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5928#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

26 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: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => infoneeded Comment: Is this feature request covered by [wiki:Plugins/TypeChecker], Phab:D489? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5941#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5942: implement POSIX confstr() in System/Posix/Unistd.hsc
by GHC 26 Nov '14

26 Nov '14

#5942: implement POSIX confstr() in System/Posix/Unistd.hsc -------------------------------------+------------------------------------- Reporter: clint | Owner: ekmett Type: feature | Status: closed request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Core | Keywords: confstr Libraries | Architecture: Unknown/Multiple Resolution: wontfix | Difficulty: Easy (less than 1 Operating System: | hour) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: core-libraries-committee@… (added) * status: new => closed * resolution: => wontfix Comment: The change you are requesting has to go through the [https://www.haskell.org/haskellwiki/Library_submissions library submission process] first (basically send an email to libraries(a)haskell.org) Please submit a pull request to https://github.com/haskell/unix once your proposal is accepted. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5942#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5982: Incorrect dynamic library name in OSX
by GHC 26 Nov '14

26 Nov '14

#5982: Incorrect dynamic library name in OSX ----------------------------------------+---------------------------------- Reporter: r0ml | Owner: ekmett Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #8266 Differential Revisions: | ----------------------------------------+---------------------------------- Changes (by thomie): * component: Core Libraries => Compiler * related: => #8266 * milestone: 7.10.1 => Comment: > Probably now fixed with #8266 Dynamic linking has been much improved on OS X. But please re-open if there is still an issue. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5982#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5983: Libraries installed in wrong place
by GHC 26 Nov '14

26 Nov '14

#5983: Libraries installed in wrong place ---------------------------------------+---------------------------------- Reporter: r0ml | Owner: ekmett Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.4.1 Resolution: duplicate | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #8266 Differential Revisions: | ---------------------------------------+---------------------------------- Changes (by thomie): * status: new => closed * resolution: => duplicate * component: Core Libraries => Compiler * related: => #8266 * milestone: 7.10.1 => Comment: Replying to [comment:4 darchon]: > Probably fixed by #8266 Dynamic linking has been much improved on OS X. But please re-open if there is still an issue. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5983#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5985: Type operators are not accepted as variables in contexts
by GHC 26 Nov '14

26 Nov '14

#5985: Type operators are not accepted as variables in contexts -------------------------------------+------------------------------------- Reporter: | Owner: mikhail.vorozhtsov | Status: new Type: feature | Milestone: 7.10.1 request | Version: 7.5 Priority: normal | Keywords: Component: Compiler | 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): * type: bug => feature request Comment: For reference, a link to the section [https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/data- type-extensions.html#type-operators Type operators] in the users's guide. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5985#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6017: Reading ./.ghci files raises security issues
by GHC 26 Nov '14

26 Nov '14

#6017: Reading ./.ghci files raises security issues -------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 7.4.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Other | Blocked By: Test Case: | Related Tickets: #8248 Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * related: => #8248 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6017#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6022: GHC infers over-general types
by GHC 26 Nov '14

26 Nov '14

#6022: GHC infers over-general types -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.4.1 Resolution: duplicate | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #8883 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => duplicate * related: => #8883 Comment: I now realize HEAD does exactly that, see #8883. I'm not sure if an extra regression is needed, but here's what it would look like: {{{ $ cat T6022.hs module T6022 where f x = x + head $ ghc-7.9.20141125 T6022.hs [1 of 1] Compiling T6022 ( T6022.hs, T6022.o ) T6022.hs:2:1: Non type-variable argument in the constraint: Num ([a] -> a) (Use FlexibleContexts to permit this) When checking that ‘f’ has the inferred type f :: forall a. Num ([a] -> a) => ([a] -> a) -> [a] -> a }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6022#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6022: GHC infers over-general types
by GHC 26 Nov '14

26 Nov '14

#6022: GHC infers over-general types -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): GHC should reject `f` ''without'' type signature, because it also rejects `f` ''with'' type signature, unless `FlexibleContexts` is enabled. {{{ Prelude> let f x = x + head -- GHC should complain here Prelude> :t f f :: Num ([a] -> a) => ([a] -> a) -> [a] -> a Prelude> let f :: Num ([a] -> a) => ([a] -> a) -> [a] -> a; f x = x + head <interactive>:4:10: Non type-variable argument in the constraint: Num ([a] -> a) (Use FlexibleContexts to permit this) In the type signature for ‘f’: f :: Num ([a] -> a) => ([a] -> a) -> [a] -> a Prelude> :set -XFlexibleContexts Prelude> let f :: Num ([a] -> a) => ([a] -> a) -> [a] -> a; f x = x + head Prelude> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6022#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0