Commit 5ff42f08 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.

Fix the use of UniqueFM in the type checker (commit...

Fix the use of UniqueFM in the type checker (commit bf5af91c) to preserve the ordering of contexts

See also http://www.haskell.org/pipermail/cvs-ghc/2011-July/064550.html
parent 2088abaf
......@@ -111,7 +111,7 @@ updCCanMap (a,ct) cmap
Given {} -> cmap { cts_given = insert_into (cts_given cmap) }
Derived {} -> cmap { cts_derived = insert_into (cts_derived cmap) }
where
insert_into m = addToUFM_C unionBags m a (singleCCan ct)
insert_into m = addToUFM_C (flip 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