- ghc-tickets - Haskell.org

[GHC] #10499: Constraints should associate over ~
by GHC 07 Jun '15

07 Jun '15

#10499: Constraints should associate over ~ -------------------------------------+------------------------------------- Reporter: joelteon | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Building the smallcheck package fails with this error: {{{ Test/SmallCheck/Property.hs:187:10: Could not deduce (Monad n) arising from the superclasses of an instance declaration from the context: (Monad m, m ~ n) bound by the instance declaration at Test/SmallCheck/Property.hs:187:10-52 Possible fix: add (Monad n) to the context of the instance declaration In the instance declaration for ‘Testable n (Property m)’ }}} Wondering if this is a bug in 7.11's constraint solver or 7.10's, since 7.10 and previous GHCs accept it and 7.11 doesn't. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10499> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8244: Removing the Cabal dependency
by GHC 07 Jun '15

07 Jun '15

#8244: Removing the Cabal dependency ------------------------------------+------------------------------------- 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: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- GHC depends on cabal, which is so far has been problematic many times, for many reasons. A few discussions include: * http://www.haskell.org/pipermail/haskell-cafe/2013-September/108746.html * http://www.haskell.org/pipermail/ghc-devs/2013-March/000821.html GHC uses only a very small part of Cabal, in these files: {{{ ./compiler/ghci/Linker.lhs ./compiler/main/Packages.lhs ./compiler/main/PackageConfig.hs ./compiler/main/Finder.lhs }}} plus 1 file for ghc-pkg: ./utils/ghc-pkg/Main.hs (see http://www.haskell.org/pipermail/haskell-cafe/2013-September/108750.html for details). It was proposed that either * the package format could be a plain specification without direct code dependencies * the Cabal package could be split off into Cabal-the-build-system and a minimal part to describe the package DB to be shared by Cabal and GHC The Cabal part that is used is in only a few modules of Distribution.* while the remaining majority of the Cabal-the-library package is not used (e.g. none of Distribution.Simple.*). Decoupling GHC and Cabal seems to be a public desire, yet there are some problems with these approaches. Let us discuss them in this ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8244> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 38

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 07 Jun '15

07 Jun '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Fuuzetsu): Oh, by the way, there was a small experiment ran by nix users to judge the impact of this issue on parallel builds. You can find the results at https://github.com/peti/ghc-library-id-bug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:104> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 07 Jun '15

07 Jun '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Fuuzetsu): Another sample: parallel building {{{aeson-0.8.1.0}}}, we get sections like {{{ < 1e7b52dc510d1cf5d1c7dba94ff5093f < $cr4ZN :: Constr < 0d767d9de53af9e99867e765de72ede2 < $cr4ZO :: Constr < dc67d4c3fc9f3ce6c26b7594d8e6eae3 < $cr4ZP :: Constr < a2def0dbb719c6f881fc717fcb8298a4 < $cr4ZQ :: Constr < c6db659c87f4f30d7cd7837ade17c21a < $cr4ZR :: Constr < 0d876ce7c0dcbac035d3da6455b1dd5f < $cr4ZS :: Constr --- > bdb4c40eb8e399497201a7ebb5b21b8e > $cr5fY :: Constr > a1b0220e85ae58edc13e93774d8e283f > $cr5fZ :: Constr > 7d4faa76b1cc5a7319b59dca13194f80 > $cr5g0 :: Constr > 7fdf605be2abfeb55bab02c7c6b2124d > $cr5g1 :: Constr > 05b9af850c2c1ed35be735adcbdb7f6d > $cr5g2 :: Constr > bb94af6dd870df350419f5d32d4917cf > $cr5g3 :: Constr }}} which consequently screws up everything else. These are presumably generated by {{{Data}}} deriving. Attaching two sample interface files with the above, it was built with 7.10.1. In non-concurrent case, no issues. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:103> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4215: canonicalizePath behaves strangely with paths that do not exist
by GHC 06 Jun '15

06 Jun '15

#4215: canonicalizePath behaves strangely with paths that do not exist -------------------------------------+------------------------------------- Reporter: creswick | Owner: ekmett Type: bug | Status: closed Priority: low | Milestone: 7.12.1 Component: Core Libraries | Version: 6.12.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect result | Unknown/Multiple at runtime | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by Rufflewind): * status: upstream => closed * resolution: => fixed Comment: Fixed upstream. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4215#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5014: canonicalizePath throws exception on paths that do not exist
by GHC 06 Jun '15

06 Jun '15

#5014: canonicalizePath throws exception on paths that do not exist -------------------------------------+------------------------------------- Reporter: hesselink | Owner: ekmett Type: bug | Status: closed Priority: low | Milestone: 7.12.1 Component: Core Libraries | Version: 7.0.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime crash | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #4215 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by Rufflewind): * status: new => closed * resolution: => fixed Comment: Fixed upstream. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5014#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10178: hs-boot/hsig ambiguity empty data declaration or type with no constructors
by GHC 05 Jun '15

05 Jun '15

#10178: hs-boot/hsig ambiguity empty data declaration or type with no constructors -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- When I write in a boot or signature file: {{{ data Foo }}} it is ambiguous whether or not this is a fully-specified empty data declaration, or a data type which has its constructors unspecified. This doesn't matter too much for hs-boot (since you can't use the data constructors in any case) but for signatures we might want to force a data type to be empty. Though I think this case should be rare. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10178> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8723: sdist should not have to build everything
by GHC 05 Jun '15

05 Jun '15

#8723: sdist should not have to build everything ----------------------------------------------+---------------------------- Reporter: nomeata | Owner: Type: task | Status: new Priority: low | Milestone: Component: Build System | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Moderate (less than a day) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: ----------------------------------------------+---------------------------- It would be nice if instead of {{{ $ perl boot $ ./configure $ make $ make sdist }}} it would suffice to run {{{ $ perl boot $ ./configure $ make sdist }}} and if that would not build more than necessary to generate the tarballs. It would save time on the GHC-HEAD-Debian-Package-autobuilder that I am currently working on. I might look into this bug eventually, but if someone else feels like doing it: Even better. (Difficulty estimated conservatively; might well be less than an hour, besides maybe waiting for test runs to finish :-)) Remember to update MakingReleases and Building/StandardTargets if this is implemented. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8723> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #1288: ghci 6.6 foreign import stdcall broken, panic, panic!!!!
by GHC 05 Jun '15

05 Jun '15

#1288: ghci 6.6 foreign import stdcall broken, panic, panic!!!! -------------------------+------------------------------------------------- Reporter: | Owner: igloo jvlask@… | Status: closed Type: | Milestone: 6.8.3 merge | Version: 6.6 Priority: | Keywords: ghci foreign ffi dll import normal | stdcall Component: GHCi | Architecture: x86 Resolution: | fixed | Operating System: | Windows | Test Case: | -------------------------+------------------------------------------------- Comment (by Thomas Miedema <thomasmiedema@…>): In [changeset:"07feab194aff4a2ae39514480736ce23a3b679b1/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="07feab194aff4a2ae39514480736ce23a3b679b1" Testsuite: ignore `stdcall attribute ignored` (#1288) That warning is only shown on some platforms, and is I believe harmless. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1288#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9507: ghc-pkg mode to query by package-key
by GHC 05 Jun '15

05 Jun '15

#9507: ghc-pkg mode to query by package-key -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: feature request | Status: new Priority: normal | Milestone: Component: ghc-pkg | Version: 7.9 Keywords: backpack | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Right now, ghc-pkg understands package names and IPIDs. It should support package keys too. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9507> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5