[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
#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