Skip to content
Snippets Groups Projects
Commit 4798f3b9 authored by Takenobu Tani's avatar Takenobu Tani Committed by Marge Bot
Browse files

Allow command name resolution for GHCi commands with option `!` #17345

This commit allows command name resolution for GHCi commands
with option `!` as follows:

    ghci> :k! Int
    Int :: *
    = Int

This commit changes implementation as follows:

Before:
  * Prefix match with full string including the option `!` (e.g. `k!`)

After (this patch):
  * Prefix match without option suffix `!` (e.g. `k`)
  * in addition, suffix match with option `!`

See also #8305 and #8113
parent 17987a4b
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment