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 /README.md | |
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 'README.md')
0 files changed, 0 insertions, 0 deletions