diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2021-09-04 08:18:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-04 08:18:00 +0200 |
| commit | ac7acd827cd05ea916c53513e68d13be0d63a604 (patch) | |
| tree | 5e8c01e1f5da7ad1cf0c53f8b8105a9d48ae5a2b /nimpretty | |
| parent | cddf8ec6f684e5636a114e0e286bc6609e01f228 (diff) | |
| download | Nim-ac7acd827cd05ea916c53513e68d13be0d63a604.tar.gz | |
we need something better than warningAsError for effect handling viol… (#18796)
* we need something better than warningAsError for effect handling violations
Diffstat (limited to 'nimpretty')
0 files changed, 0 insertions, 0 deletions