Skip to content

Fix misleading :add docs in user guide

Jan Hrček requested to merge jhrcek/ghc:jhrcek/fix-add-userguide into master

Before this change the :add ghci command documentation in user guide would render like this in my browser.

Screenshot_from_2022-09-03_12-30-00

This makes it look as if the * could be optionally added right after the :add command. But when I run :add* SomeModule in GHCi, I get an error unknown command ':add*'. Turns out the correct way is to add * right in front of the module name(s) you want to add. Even GHCi's help tells me so:

:add [*]<module> ... add module(s) to the current target set

Edited by Jan Hrček

Merge request reports