Commit 5db03609 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Minor refactoring

parent 6eff70f0
......@@ -283,7 +283,8 @@ isGiven (Given {}) = True
isGiven _ = False
isDerived :: CtFlavor -> Bool
isDerived ctid = not $ isGiven ctid || isWanted ctid
isDerived (Derived {}) = True
isDerived _ = False
canRewrite :: CtFlavor -> CtFlavor -> Bool
-- canRewrite ctid1 ctid2
......
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