- ghc-tickets - Haskell.org

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

12 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 12 Jun '15

12 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 12 Jun '15

12 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 12 Jun '15

12 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

Re: [GHC] #2648: Report out of date interface files robustly
by GHC 11 Jun '15

11 Jun '15

#2648: Report out of date interface files robustly -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.12.1 Component: GHCi | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHCi crash | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by asr): * cc: asr (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2648#comment:18> 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): * Pattern matching: I believe we should not put pattern matching into `OverloadedLists` and stay with just list construction. It looks like implementation of generic list construction is simpler than generic pattern matching. The usability of list construction is higher because things like {{{#!hs [ OneTypeConstructor , OtherTypeConstructor , "string" ] }}} looks more clean and simple to write than {{{#!hs HCons OneTypeConstructor $ HCons OtherTypeConstructor $ HCons "string" HNil }}} but when you pattern match some list you probably expect some concrete list type, not just some list (heterogeneous or homogeneous) with some elements. Maybe add separate `OverloadedListPatterns` extension instead? * About `[a,b..c]`: There should nothing changed for homogeneous lists, but heterogeneous lists can not be constructed dynamically, especially lists like `[1..]`. Maybe it would be nice to make sugar `[a,b..f]` unwrap to {{{#!hs HCons a $ HCons b $ HCons c $ HCons e $ HCons f HNil }}} but it is not an option for homogeneous lists, especially lists like `[1,2..10000000]`. Maybe special syntax like `[1,2...5]` (three dots) for constructing heterogeneous lists at compile time? * I don't see any things which current `OverloadedLists` can do and this new can not. Maybe some issues with type inference ... -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7495#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3085: warn about language extensions that are not used
by GHC 11 Jun '15

11 Jun '15

#3085: warn about language extensions that are not used -------------------------------------+------------------------------------- Reporter: PVerswyvelen | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 6.10.1 Resolution: | Keywords: warnings Operating System: Unknown/Multiple | extensions language Type of failure: None/Unknown | Architecture: Blocked By: | Unknown/Multiple Related Tickets: #9757 | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by WrenThornton): * cc: wren@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3085#comment:40> 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 like comment:11. Do start a wiki page to describe the design. Issues you don't cover yet * Pattern matching * What about `[a,b..c]` and friends? * One could add this as a different and incompatible extension to the existing `OverloadedLists`, but it would be better to get the best of both worlds. Can we? What can the existing `OverloadedLists` do that the new design cannot? There are probably more issues. A wiki page is a good place to put the current best-effort design; while the ticket is a good place to discuss it. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7495#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0