diff options
| author | eric thul <thul.eric@gmail.com> | 2016-11-19 21:08:47 -0500 |
|---|---|---|
| committer | eric thul <thul.eric@gmail.com> | 2016-11-19 21:08:47 -0500 |
| commit | b683b0b17cde53739ccb22da93ffb2bba2719667 (patch) | |
| tree | ff604c372a8cb2c0a2e11142661d591680ed872b /.gitignore | |
| parent | 5b28db7d119dc46c382e666fbb2110b611398c4a (diff) | |
| download | purs-loader-b683b0b17cde53739ccb22da93ffb2bba2719667.tar.gz purs-loader-b683b0b17cde53739ccb22da93ffb2bba2719667.tar.zst purs-loader-b683b0b17cde53739ccb22da93ffb2bba2719667.zip | |
Emit warnings/errors to the compilation instance
Avoids duplication of warnings. Resolves #78
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions