0.9.0 • Published 1 year ago

purescript-psa v0.9.0

Weekly downloads
3,088
License
MIT
Repository
github
Last release
1 year ago

psa

A pretty, flexible error/warning reporting frontend for the PureScript compiler (psc).

  • Colors!
  • Original source spans in errors
  • Fine-grained warning filtering
  • Warning persistence

Install

npm install -g purescript-psa

Sample Usage

Censor all warnings:

psa --censor-warnings <psc-options>

Censor library warnings:

psa --censor-lib <psc-options>

Censor source warnings:

psa --censor-src <psc-options>

Censor specific warning codes:

psa --censor-codes=ShadowedName,ImplicitImport,MissingTypeDeclaration <psc-options>

Only show specific warning codes:

psa --filter-codes=DeprecatedOperatorDecl,DeprecatedClassExport <psc-options>

Turn source warnings into errors:

psa --strict <psc-options>

Note: It's assumed psc is in your path. If you'd like to use a custom binary location you can set the --psc=/foo/bar/psc flag.

Persisting Warnings

psc does not persist warnings between compilations, but psa can do it with the --stash flag. This serializes the set of warnings to disk and merges it with the new set on each compilation.

psa --stash <psc-options>

If you are compiling multiple projects from the same root, you can specify which stash file should be used:

psa --stash=.foo-stash <psc-options>

Usage with pulp

Pulp supports building with psa: it will be used by default if it is installed, and options will be passed through, eg:

pulp build -- --stash --censor-lib <psc-options>
0.9.0

1 year ago

0.8.2

4 years ago

0.8.1

5 years ago

0.8.0

5 years ago

0.7.3

7 years ago

0.7.2

7 years ago

0.7.1

7 years ago

0.7.0

7 years ago

0.6.0

8 years ago

0.5.1

8 years ago

0.5.0

8 years ago

0.5.0-rc.1

8 years ago

0.4.0

9 years ago

0.3.9

9 years ago

0.3.8

9 years ago

0.3.7

9 years ago

0.3.6

9 years ago

0.3.5

9 years ago

0.3.4

9 years ago

0.3.3

9 years ago

0.3.2

10 years ago

0.3.1

10 years ago

0.3.0

10 years ago

0.2.1

10 years ago

0.2.0

10 years ago

0.1.3

10 years ago

0.1.2

10 years ago

0.1.1

10 years ago

0.1.0

10 years ago