{ "editor.formatOnSave": true, "purescript.buildCommand": "spago build --purs-args '--json-errors'" }