PureScript Files

New features:

• Add --exclude-file to more commands (#4530 by @JordanMartinez)

This CLI arg was added to the compile command, but not to other commands where such a usage would be relevant (e.g. docs, repl, graph, and ide).

• Enable passing source input globs via --source-globs-file path/to/file (#4530 by @JordanMartinez)

--source-globs-file support has been added to the following commands: compile, docs, graph, ide, and publish.

Due to a shell character limitation on Windows where a large list of source globs cannot be passed (e.g. purs compile ... glob1000/src/**/*.purs), source globs can be stored in a file according to the format below and the file is passed in instead via purs compile ---source-globs-file path/to/file.

``` # Lines starting with '#' are comments. # Blank lines are ignored. # Otherwise, every line is a glob.

.spago/foo-1.2.3/src//*.purs .spago/bar-2.3.3/src//.purs my-package/src//.purs my-package/tests/*/.purs ```

--source-globs-file is an optional argument. Mixing it with the normal source globs is fine. Assuming .spago/source-globs contains src/**/*.purs, each command below will use the same input globs: sh purs compile src/**/*.purs purs compile --source-globs .spago/source-globs purs compile --source-globs .spago/source-globs src/**/*.purs

In the command... purs compile inputGlob1 inputGlob2 --source-globs-file fileWithMoreGlobs --exclude-files excludeGlob1 the files passed to the compiler are: all the files found by inputGlob1, inputGlob2, and all the globs listed in fileWithMoreGlobs minus the files found by excludeGlob1.