2 Jul
2008
2 Jul
'08
8:40 a.m.
Now I ran into a problem: The front-end search for _all_ providers (satisfiers), and will stop if more than one was found. This is not compatible with resolvedeps behavior... So if we want to keep this, we cannot share the code (but can re-implement first literal, then satisfier). To be more precise, we can share it, but we shouldn't do it because of some unwanted slow-down.