Commit 5270950f authored by kristenk's avatar kristenk
Browse files

Call simplifyVersionRange in solver convenience functions (.||.) and (.&&.).

It is probably better to simplify version ranges in most cases in the solver, in
order to simplify error messages and save memory.  Currently, (.||.) is used once
for lifting dependencies out of conditionals, and (.&&.) isn't used.
parent d239a60f
......@@ -38,11 +38,11 @@ eqVR = CV.thisVersion
-- | Intersect two version ranges.
(.&&.) :: VR -> VR -> VR
(.&&.) = CV.intersectVersionRanges
v1 .&&. v2 = simplifyVR $ CV.intersectVersionRanges v1 v2
-- | Union of two version ranges.
(.||.) :: VR -> VR -> VR
(.||.) = CV.unionVersionRanges
v1 .||. v2 = simplifyVR $ CV.unionVersionRanges v1 v2
-- | Simplify a version range.
simplifyVR :: VR -> VR
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment