Commit 1df6309b authored by's avatar

Remove a hack in the type checker (which is no longer needed)

parent 72777694
......@@ -111,9 +111,7 @@ updCCanMap (a,ct) cmap
Given {} -> cmap { cts_given = insert_into (cts_given 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
insert_into m = addToUFM_C unionBags m a (singleCCan ct)
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