Commit 03e7ca11 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Add a comment

parent 1679a75e
......@@ -112,6 +112,8 @@ updCCanMap (a,ct) cmap
Derived {} -> cmap { cts_derived = insert_into (cts_derived cmap) }
insert_into m = addToUFM_C (flip unionBags) m a (singleCCan ct)
-- The "flip" is a horrid hack to maintain constraints in the order
-- that the vectoriser expects them. See Trac #5369
getRelevantCts :: Uniquable a => a -> CCanMap a -> (CanonicalCts, CCanMap a)
-- Gets the relevant constraints and returns the rest of the CCanMap
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