June 2015 - ghc-tickets

Re: [GHC] #7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so.
by GHC 11 Jun '15

11 Jun '15

#7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so. -------------------------------------+------------------------------------- Reporter: jpbernardy | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: deriving, Operating System: Unknown/Multiple | newcomer Type of failure: GHC rejects | Architecture: valid program | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by osa1): I submitted a patch for this: https://phabricator.haskell.org/D978 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7401#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9252: Generalize hs-boot files to be more like module signatures
by GHC 11 Jun '15

11 Jun '15

#9252: Generalize hs-boot files to be more like module signatures ------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: backpack | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Right now, `hs-boot` is used solely to support mutually recursive modules. However, as [wiki:Backpack Backpack] has shown, signatures are an essential part of separate modular development, and since hs-boot files are essentially module signatures, it would be good to move away from "hs- boot as a technical mechanism to make mutual recursion to work" to "hsig as a module signature useful for separate modular development and mutual recursion." Here are some of the things that this would entail: 1. Introduce hsig as a valid alternate file suffix to hs-boot (similarly have hisig for hi-boot; the plan being to eventually deprecate the hs-boot prefix) 2. Given an hsig file corresponding to a module in the current package database (but not from the currently being compiled package), check if the corresponding module implements the signature (this is the reverse of the current check we do for hs-boot files, which occurs when we typecheck the module, as opposed to the hs-boot file.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9252> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

Re: [GHC] #4945: Another SpecConstr infelicity
by GHC 11 Jun '15

11 Jun '15

#4945: Another SpecConstr infelicity -------------------------------------+------------------------------------- Reporter: batterseapower | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | simplCore/should_compile/T4945 Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * priority: normal => high * status: closed => new * resolution: fixed => * milestone: 7.0.2 => 7.12.1 Comment: Marking regression with priority high. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4945#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4945: Another SpecConstr infelicity
by GHC 11 Jun '15

11 Jun '15

#4945: Another SpecConstr infelicity -------------------------------------+------------------------------------- Reporter: batterseapower | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.0.2 Component: Compiler | Version: 7.0.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Runtime | Test Case: performance bug | simplCore/should_compile/T4945 Blocked By: | Blocking: -------------------------------------+------------------------------------- Comment (by Thomas Miedema <thomasmiedema@…>): In [changeset:"506522c95f5d43db4d469135878c56fe20eb81f6/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="506522c95f5d43db4d469135878c56fe20eb81f6" Testsuite: mark T4945 as expect_broken (#4945) In commit 7d519dabd2006c9742e82fce02df55704da15482, the file T4945.stdout was added to the repository, to make T4945 pass validatation presumably. When that test produces output however, there is a bug somewhere, and we shouldn't hide it. There is a comment in the Makefile which says: "When SpecConstr works there are no STUArrays at all" So here we remove T4945.stdout again, mark T4945 as expect_broken, and reopen the ticket. Differential Revision: https://phabricator.haskell.org/D976 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4945#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8172: Expose CWD and import search paths in GHCi via new `:show paths` command
by GHC 11 Jun '15

11 Jun '15

#8172: Expose CWD and import search paths in GHCi via new `:show paths` command -------------------------------------------+------------------------------- Reporter: hvr | Owner: hvr Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.7 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 hour) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- - Currently, GHCi provides a `:cd` command but no respective builtin command to query the currently set path. - Moreover, there's no obvious way to query the currently active `importPaths` dynamic flags field, to find out which `-i` options are currently in effect. The attached patch extends `:show` with a `:show paths` subcommand, printing the CWD and the current value of `importPaths`: {{{ Ok, modules loaded: Main, InteractiveUI, Paths_ghci_ng, GhciMonad, GhciTags. λ> :show paths current working directory: /home/hvr/Haskell/My/ghci-ng module import search paths: dist/build/ghci-ng/ghci-ng-tmp ghc dist/build/autogen λ> :set -i λ> :show paths current working directory: /home/hvr/Haskell/My/ghci-ng module import search paths: none > :cd /tmp Warning: changing directory causes all loaded modules to be unloaded, because the search path has changed. > :show paths current working directory: /tmp module import search paths: none }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8172> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

Re: [GHC] #1407: Add the ability to :set -l{foo} in .ghci files
by GHC 11 Jun '15

11 Jun '15

#1407: Add the ability to :set -l{foo} in .ghci files -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 6.6.1 Resolution: | Keywords: Operating System: Windows | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D194 -------------------------------------+------------------------------------- Comment (by Thomas Miedema <thomasmiedema@…>): In [changeset:"a765f72c130111cdbd30f2a3e159186c6e625d2a/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="a765f72c130111cdbd30f2a3e159186c6e625d2a" Testsuite: mark tests as expect_broken on win64 Tickets: #1407, #9381, #9878. Differential Revision: https://phabricator.haskell.org/D977 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1407#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc
by GHC 11 Jun '15

11 Jun '15

#7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc -------------------------------------+------------------------------------- Reporter: nwf | Owner: carter Type: feature request | Status: new 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: #9883 | Blocking: 9883 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by s9gf4ult): You absolutely right about pattern matching (using view patterns) and `[1..n]` expressions. I just missed this features of `OverloadedLists`. It is not obvious how to deal with it. My code differs from original code of this proposal, I am also not an author of proposal. Maybe @carter should start wiki page? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7495#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2437: More accurate package dependencies
by GHC 11 Jun '15

11 Jun '15

#2437: More accurate package dependencies -------------------------------------+------------------------------------- Reporter: simonmar | Owner: niteria Type: task | Status: patch Priority: lowest | Milestone: 7.12.1 Component: Package system | Version: 6.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #3560, #8174 | Blocking: | Differential Revisions: Phab:D973 -------------------------------------+------------------------------------- Changes (by thoughtpolice): * differential: D973 => Phab:D973 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2437#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc
by GHC 11 Jun '15

11 Jun '15

#7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc -------------------------------------+------------------------------------- Reporter: nwf | Owner: carter Type: feature request | Status: new 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: #9883 | Blocking: 9883 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by simonpj): > I don't see any things which current `OverloadedLists` can do and this new can not. Well, how about pattern matching and `[1..n]`?! Maybe people are using those already. Have you talked to the authors of `OverloadedLists` to see what they think? Do you expect this new design to ''replace'' `OverloadedLists`, or just be a competing extension? Let me continue to encourage you to start a wiki page explaining the design and its relationship to other extensions. Build up a community of people who support the idea, and work with them to refine it. Ultimately, develop a patch. Good work! Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7495#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1407: Add the ability to :set -l{foo} in .ghci files
by GHC 11 Jun '15

11 Jun '15

#1407: Add the ability to :set -l{foo} in .ghci files -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 6.6.1 Resolution: | Keywords: Operating System: Windows | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D194 -------------------------------------+------------------------------------- Changes (by thomie): * owner: archblob => * resolution: fixed => * status: closed => new * os: Unknown/Multiple => Windows Comment: There are 2 problems with the above patch on Windows: * the test fails, because `-ldl` can not be found. * in ghci, I can type `:set -lsomethingnonexistent` and it doesn't complain Note that running `ghci -lsomethingnonexistent` does fail on all platforms. Running `:set -lsomethingnonexist` in ghci on linux also fails. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1407#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0