February 2015 - ghc-tickets

Re: [GHC] #7765: Odd error message for `runghc` with missing `main` function.
by GHC 23 Feb '15

23 Feb '15

#7765: Odd error message for `runghc` with missing `main` function. -------------------------------------+------------------------------------- Reporter: isaacdupree | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #414 | module/T7765 | Blocking: | Differential Revisions: Phab:D649 -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: patch => closed * resolution: => fixed Comment: Merged, thanks! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7765#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7103: Compiler panic, when loading wxc in GHCi
by GHC 23 Feb '15

23 Feb '15

#7103: Compiler panic, when loading wxc in GHCi -------------------------------------+------------------------------------- Reporter: Henk-Jan | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: GHCi | Version: 7.4.2 Resolution: | Keywords: Operating System: Windows | Architecture: Type of failure: GHCi crash | Unknown/Multiple Blocked By: 3658 | Test Case: Related Tickets: #9907, #10051 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Austin Seipp <austin@…>): In [changeset:"a293925d810229fbea77d95f2b3068e78f8380cc/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="a293925d810229fbea77d95f2b3068e78f8380cc" rts/linker: ignore unknown PE sections Summary: Currently the linker tries to see if it understands/knows every section in the PE file before it continues. If it encounters a section it doesn't know about it errors out. Every time there's a change in MinGW compiler that adds a new section to the PE file this will break the ghc linker. The new sections don't need to be understood by `ghc` to continue so instead of erroring out the section is just ignored. When running with `-debug` the sections that are ignored will be printed. Test Plan: See the file `ghcilinkerbug.zip` in #9907. 1) unzip file content. 2) open examplecpp.cabal and change base <4.8 to <4.9. 3) execute cabal file with cabal repl. Applying the patch makes `cabal repl` in step 3) work. Note that the file will fail on a `___mingw_vprintf` not being found. This is because of the `cc-options` specifying `-std=c++0x`, which will also require `libmingwex.a` to be linked in but wasn't specified in the cabal file. To fix this, remove the `cc-options` which defaults to c99. Reviewers: austin Reviewed By: austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D671 GHC Trac Issues: #9907, #7103, #10051, #7056, #8546 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7103#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7765: Odd error message for `runghc` with missing `main` function.
by GHC 23 Feb '15

23 Feb '15

#7765: Odd error message for `runghc` with missing `main` function. -------------------------------------+------------------------------------- Reporter: isaacdupree | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #414 | module/T7765 | Blocking: | Differential Revisions: Phab:D649 -------------------------------------+------------------------------------- Comment (by Austin Seipp <austin@…>): In [changeset:"0fa20726b0587530712677e50a56c2b03ba43095/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="0fa20726b0587530712677e50a56c2b03ba43095" Error out on `Main` without `main` in GHCi (#7765) Summary: GHC does 2 validation checks for module `Main`: * does `main` exist * is `main` exported (#414) The second check is done in ghc as well as in ghci (and runghc and ghc -e). The first check however is currently not done in ghci, to prevent "'main' is not in scope" errors when loading simple scripts. See commit d28ba8c8009 for more information. This commit tightens the special case for ghci. When the file does not contain a main function, but does contain an explicit module header (i.e. "module Main where"), then /do/ raise an error in ghci (and runghc and ghc -e) as well Test Plan: module/T7765: a module Main with an explicit module header but without a main function should be an error for all Ways. Additionaly: delete test module/mod174. It was added in commit 5a54c38, but it is a duplicate of module/T414. Reviewers: austin Reviewed By: austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D649 GHC Trac Issues: #7765 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7765#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #414: GHC does not eforce that Main exports main
by GHC 23 Feb '15

23 Feb '15

#414: GHC does not eforce that Main exports main -------------------------------------+------------------------------------- Reporter: simonpj | Owner: igloo Type: merge | Status: closed Priority: lowest | Milestone: 6.12.2 Component: Compiler | Version: 6.10.4 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | module/T414 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Austin Seipp <austin@…>): In [changeset:"0fa20726b0587530712677e50a56c2b03ba43095/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="0fa20726b0587530712677e50a56c2b03ba43095" Error out on `Main` without `main` in GHCi (#7765) Summary: GHC does 2 validation checks for module `Main`: * does `main` exist * is `main` exported (#414) The second check is done in ghc as well as in ghci (and runghc and ghc -e). The first check however is currently not done in ghci, to prevent "'main' is not in scope" errors when loading simple scripts. See commit d28ba8c8009 for more information. This commit tightens the special case for ghci. When the file does not contain a main function, but does contain an explicit module header (i.e. "module Main where"), then /do/ raise an error in ghci (and runghc and ghc -e) as well Test Plan: module/T7765: a module Main with an explicit module header but without a main function should be an error for all Ways. Additionaly: delete test module/mod174. It was added in commit 5a54c38, but it is a duplicate of module/T414. Reviewers: austin Reviewed By: austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D649 GHC Trac Issues: #7765 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/414#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7056: Relax static-PE linker object checks
by GHC 23 Feb '15

23 Feb '15

#7056: Relax static-PE linker object checks -------------------------------------+------------------------------------- Reporter: songpp | Owner: thoughtpolice Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: GHCi | Version: 7.4.1 Resolution: | Keywords: loadArchive Unknown Operating System: Windows | PEi386 Type of failure: None/Unknown | Architecture: x86 Blocked By: | Test Case: Related Tickets: #2487, #7103, | Blocking: #7889 | -------------------------------------+------------------------------------- Comment (by Austin Seipp <austin@…>): In [changeset:"a293925d810229fbea77d95f2b3068e78f8380cc/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="a293925d810229fbea77d95f2b3068e78f8380cc" rts/linker: ignore unknown PE sections Summary: Currently the linker tries to see if it understands/knows every section in the PE file before it continues. If it encounters a section it doesn't know about it errors out. Every time there's a change in MinGW compiler that adds a new section to the PE file this will break the ghc linker. The new sections don't need to be understood by `ghc` to continue so instead of erroring out the section is just ignored. When running with `-debug` the sections that are ignored will be printed. Test Plan: See the file `ghcilinkerbug.zip` in #9907. 1) unzip file content. 2) open examplecpp.cabal and change base <4.8 to <4.9. 3) execute cabal file with cabal repl. Applying the patch makes `cabal repl` in step 3) work. Note that the file will fail on a `___mingw_vprintf` not being found. This is because of the `cc-options` specifying `-std=c++0x`, which will also require `libmingwex.a` to be linked in but wasn't specified in the cabal file. To fix this, remove the `cc-options` which defaults to c99. Reviewers: austin Reviewed By: austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D671 GHC Trac Issues: #9907, #7103, #10051, #7056, #8546 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7056#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7634: MD5 collision could lead to SafeHaskell violation
by GHC 23 Feb '15

23 Feb '15

#7634: MD5 collision could lead to SafeHaskell violation -------------------------------------+------------------------------------- Reporter: shachaf | Owner: ekmett Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Core Libraries | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by bananu7): > Maybe the solution is just switching to another hash function What about that? Doesn't that improve the ''chances'' of the collision not being found even more? It looks like an change that's easy enough. Doesn't moving this ticket to _|_ mean that it's effectively being forgotten? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7634#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10076: Don't suppress warnings in the presence of errors
by GHC 22 Feb '15

22 Feb '15

#10076: Don't suppress warnings in the presence of errors -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.11 Component: Compiler | Operating System: Unknown/Multiple Keywords: | Type of failure: Incorrect Architecture: | warning at compile-time Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Consider this fragment of code (uses injective type families, not yet merged into HEAD): {{{#!hs type family Bar a = r | r -> a where Bar Int = Bool Bar Bool = Int Bar Bool = Char bar :: Bar a -> Bar a bar x = x barapp :: Char barapp = bar 'c' }}} GHC rejects this with an error: {{{ Couldn't match expected type ‘Bar a0’ with actual type ‘Char’ The type variable ‘a0’ is ambiguous In the first argument of ‘bar’, namely ‘'c'’ In the expression: bar 'c' In an equation for ‘barapp’: barapp = bar 'c' }}} The reason why this is rejected is that the last type family equation is not reachable. GHC warns about that if I comment out `barapp`: {{{ Dropping overlapped type family instance equation: Bar Bool = Char }}} I believe that with that warning source of the error would be easier to find. So I propose that by default GHC does not suppress warnings in the presence of errors. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10076> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7604: System.Directory.canonicalizePath "" behaviour differs between platforms
by GHC 22 Feb '15

22 Feb '15

#7604: System.Directory.canonicalizePath "" behaviour differs between platforms -------------------------------------+------------------------------------- Reporter: igloo | Owner: ekmett Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Core Libraries | Version: 7.6.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: T4113 Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by argiopeweb): * status: new => closed * resolution: => fixed * milestone: 7.12.1 => 7.10.1 Comment: Calling `canonicalizePath` on an empty string now explicitly returns the result of calling `canonicalizePath` on the current directory (".") as in OS X. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7604#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4366: in-tree GMP build problem with shared libraries
by GHC 22 Feb '15

22 Feb '15

#4366: in-tree GMP build problem with shared libraries -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: bug | Status: closed Priority: low | Milestone: 7.10.1 Component: Build System | Version: 6.13 Resolution: fixed | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Building GHC | (amd64) failed | Test Case: Blocked By: | Blocking: Related Tickets: #8156 | Differential Revisions: -------------------------------------+------------------------------------- Changes (by hvr): * status: new => closed * resolution: => fixed * milestone: 7.12.1 => 7.10.1 Comment: I believe this issue to be fixed with GHC 7.10.1's `integer-gmp2` (see #9281); if this is still a problem, please reopen -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4366#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9664: Add identity functor to base
by GHC 22 Feb '15

22 Feb '15

#9664: Add identity functor to base -------------------------------------+------------------------------------- Reporter: hvr | Owner: ekmett Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: Core Libraries | Version: Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 | Type of failure: hour) | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- `base` already provides a `Const`ant functor, but the even more useful `Id`entity (or `Identity`) functor does not exist in `base` yet. This was already [https://groups.google.com/forum/#!msg/haskell-core- libraries/_nReDCbROew/Mdmf0zIloysJ proposed to the CLC back in early 2013], and already missed inclusion in GHC 7.8 However, in order to implement this, coordination with `transformers` is desirable, as `transformers` currently provides a non-transforming `Data.Functor.Identity`, and we'd like to avoid name clashes. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9664> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13