Skip to content

[psc-ide] Better logging and diagnostics#2467

Merged
kritzcreek merged 3 commits intopurescript:masterfrom
kritzcreek:psc-ide-diagnostics
Dec 7, 2016
Merged

[psc-ide] Better logging and diagnostics#2467
kritzcreek merged 3 commits intopurescript:masterfrom
kritzcreek:psc-ide-diagnostics

Conversation

@kritzcreek
Copy link
Copy Markdown
Member

Adds checks for Externsfile versions and a few simple measurements for debugging/benchmarking.

@paf31
Copy link
Copy Markdown
Contributor

paf31 commented Dec 7, 2016

👍 Looks good!

@kritzcreek kritzcreek merged commit 9528dd5 into purescript:master Dec 7, 2016
@kritzcreek kritzcreek deleted the psc-ide-diagnostics branch December 7, 2016 04:12
@kritzcreek
Copy link
Copy Markdown
Member Author

Thanks 👍

project directory. Defaults to `output/`, relative to either the current
directory or the directory specified by `-d`.
- `--debug`: Enables some logging meant for debugging
<<<<<<< HEAD
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Not sure this was supposed to go in 😄

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

whoops :D

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants