I believe that there's a typo in the table which explains various sub-commands. The given check command involves the the --scope=all flag, which doesn't exist:
$ stan check --exclude --category=Infinity --scope=all check --include --id "STAN-0101" --file=src/Main.hs
Invalid option `--scope=all'
Did you mean this?
--scope-all
The - and = keys are right next to each other, which makes me think it's a typo.
This is my first time contributing. The contributing guidelines say to first create an issue... but this is a minuscule fix (it's a single character!). Please let me know if you'd rather I bundle this with an issue and I will do so.
I believe that there's a typo in the table which explains various sub-commands. The given
checkcommand involves the the--scope=allflag, which doesn't exist:The
-and=keys are right next to each other, which makes me think it's a typo.This is my first time contributing. The contributing guidelines say to first create an issue... but this is a minuscule fix (it's a single character!). Please let me know if you'd rather I bundle this with an issue and I will do so.
Thank you for making Stan!