[GHC] #13862: Optional "-v" not allowed with :load in GHCi
#13862: Optional "-v" not allowed with :load in GHCi -------------------------------------+------------------------------------- Reporter: vanto | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.0.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect Unknown/Multiple | error/warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When loading a file in GHCi with the command {{{:load}}} and the file must import another file, if that other file is unavailable then GHCi sends the following error\\ {{{ Failed to load interface for `xxx` Use -v to see a list of the files searched for. }}} ' xxx ' is the name of the imported file that GHCi cannot find.\\ But we can not use a flag ( ie -v) with the command {{{:load}}} in GHCi.\\ This error is not appropriate in GHCi when using {{{:load}}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13862> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13862: Optional "-v" not allowed with :load in GHCi -------------------------------------+------------------------------------- Reporter: vanto | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): `-v` here refers to the command line argument, which can be set in GHCi using `:set -v`. While it would be nice if the error would suggest this, I don't see a way to make this so without a fairly significant amount of refactoring. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13862#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13862: Optional "-v" not allowed with :load in GHCi -------------------------------------+------------------------------------- Reporter: vanto | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by vanto): Hello Ben. I didn't express myself well. Actually if I use GHC (the compiler) the error is the same. ok! And if I compile the file with the {{{-v}}} option, GHC gives me a result. But you cannot use the {{{-v}}} option to have the same result with {{{:load}}} in GHCi (the interpreter).\\ That's why I say that this error message is not appropriate to be used in GHCi. This error message makes no sense here. Do you understand? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13862#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13862: Optional "-v" not allowed with :load in GHCi -------------------------------------+------------------------------------- Reporter: vanto | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): Yes, I understand. You are correct that `:load` does not accept the `-v` flag. However, the user can use `:set -v` to achieve the end suggested in the error message. As I said above, it would be nice if the error message would specifically recommend that the user run `:set -v` instead of merely suggesting that they "Use -v". Do feel free to offer a patch. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13862#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13862: Optional "-v" not allowed with :load in GHCi -------------------------------------+------------------------------------- Reporter: vanto | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by vanto): Yes this is what one must write in the error message in GHCi. Thanks Ben, but I do not know how to do it. I think it will be too difficult for me. Sorry! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13862#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13862: Optional "-v" not allowed with :load in GHCi -------------------------------------+------------------------------------- Reporter: vanto | Owner: RolandSenn Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RolandSenn): * owner: (none) => RolandSenn Comment: I'll work on this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13862#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13862: Optional "-v" not allowed with :load in GHCi -------------------------------------+------------------------------------- Reporter: vanto | Owner: RolandSenn Type: bug | Status: patch Priority: normal | Milestone: 8.8.1 Component: GHCi | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Incorrect | Test Case: make test error/warning at compile-time | TESTS="T13862a T13862b T13862c" Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D5122 Wiki Page: | -------------------------------------+------------------------------------- Changes (by RolandSenn): * status: new => patch * testcase: => make test TESTS="T13862a T13862b T13862c" * differential: => Phab:D5122 * milestone: => 8.8.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13862#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13862: Optional "-v" not allowed with :load in GHCi -------------------------------------+------------------------------------- Reporter: vanto | Owner: RolandSenn Type: bug | Status: patch Priority: normal | Milestone: 8.8.1 Component: GHCi | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Incorrect | Test Case: make test error/warning at compile-time | TESTS="T13862a T13862b T13862c" Blocked By: | Blocking: Related Tickets: #4017 | Differential Rev(s): Phab:D5122 Wiki Page: | -------------------------------------+------------------------------------- Changes (by RolandSenn): * related: => #4017 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13862#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13862: Optional "-v" not allowed with :load in GHCi -------------------------------------+------------------------------------- Reporter: vanto | Owner: RolandSenn Type: bug | Status: patch Priority: normal | Milestone: 8.8.1 Component: GHCi | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #4017 | Differential Rev(s): Phab:D5122 Wiki Page: | -------------------------------------+------------------------------------- Changes (by RolandSenn): * testcase: make test TESTS="T13862a T13862b T13862c" => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13862#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13862: Optional "-v" not allowed with :load in GHCi -------------------------------------+------------------------------------- Reporter: vanto | Owner: RolandSenn Type: bug | Status: patch Priority: normal | Milestone: 8.8.1 Component: GHCi | Version: 8.0.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #4017 | Differential Rev(s): Phab:D5122 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ömer Sinan Ağacan <omeragacan@…>): In [changeset:"c6bff526123611d89ea4c92fbc26df221b7ecdd5/ghc" c6bff52/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="c6bff526123611d89ea4c92fbc26df221b7ecdd5" Fix for #13862: Optional "-v" not allowed with :load in GHCi Replace the error message `Use -v to see a list of the files searched for.` with `Use -v (or :set -v` in ghci) to see a list of the files searched for.` Reviewers: bgamari, monoidal, thomie, osa1 Subscribers: rwbarton, carter GHC Trac Issues: #13862 Differential Revision: https://phabricator.haskell.org/D5122 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13862#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#13862: Optional "-v" not allowed with :load in GHCi -------------------------------------+------------------------------------- Reporter: vanto | Owner: RolandSenn Type: bug | Status: closed Priority: normal | Milestone: 8.8.1 Component: GHCi | Version: 8.0.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect | Unknown/Multiple error/warning at compile-time | Test Case: Blocked By: | Blocking: Related Tickets: #4017 | Differential Rev(s): Phab:D5122 Wiki Page: | -------------------------------------+------------------------------------- Changes (by osa1): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13862#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC