Skip to content
This repository has been archived by the owner on Feb 3, 2018. It is now read-only.

Allow creation of ReachMap without "poisoning" #127

Closed
sdboyer opened this issue Dec 23, 2016 · 0 comments
Closed

Allow creation of ReachMap without "poisoning" #127

sdboyer opened this issue Dec 23, 2016 · 0 comments
Milestone

Comments

@sdboyer
Copy link
Owner

sdboyer commented Dec 23, 2016

The current algorithm for extracting a ReachMap from a PackageTree is a depth-first traversal that not only eliminates packages with errs from from the PackageTree, but also uses backpropagation to eliminate packages that transitively import those packages. Internally, that backpropagation method is referred to as "poisoning."

This approach is always what the solver needs, but it's not necessarily what gps' dependers need. Implementations are often scanning the current project's code, and want to be more lenient about what gets eliminated. So, we need more params, or another method, that takes that approach to creating a ReachMap.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant