Skip to content
This repository has been archived by the owner on Sep 12, 2019. It is now read-only.

Clean up detectors #14

Merged
merged 4 commits into from
Mar 16, 2019
Merged

Clean up detectors #14

merged 4 commits into from
Mar 16, 2019

Conversation

Benaiah
Copy link
Contributor

@Benaiah Benaiah commented Mar 14, 2019

(This PR is rebased onto #13; merge that first and rebase this if necessary. The diff is much smaller against that branch.)

Clean up detectors: reduce logical branches and mutation, exit when errors are detected early instead of in else branches, and reduce the total amount of code.

@biilmann biilmann merged commit 9e097bb into master Mar 16, 2019
@biilmann biilmann deleted the cleanup-detectors branch March 16, 2019 06:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants