Skip to content
This repository was 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.

@Benaiah Benaiah force-pushed the cleanup-detectors branch from 1a02b60 to f777441 Compare March 14, 2019 21:30
@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