Strip prefixes from labels (#960)

* Strip prefixes from labels

* Remove redundant parens
This commit is contained in:
Guru Devanla 2020-12-27 02:03:42 -08:00 committed by GitHub
parent c617c9bd73
commit 36c182cbc4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -191,7 +191,7 @@ mkNameCompItem origName origMod thingType isInfix docs !imp = CI{..}
insertText = case isInfix of insertText = case isInfix of
Nothing -> case getArgText <$> thingType of Nothing -> case getArgText <$> thingType of
Nothing -> label Nothing -> label
Just argText -> label <> " " <> argText Just argText -> stripPrefix label <> " " <> argText
Just LeftSide -> label <> "`" Just LeftSide -> label <> "`"
Just Surrounded -> label Just Surrounded -> label